John L. Bell - Logik und Typentheorie höherer Ordnung - neues Taschenbuch - J555z
Ø 0.0
0 Bewertungen
32,62 €
This leads to a discussion of higher-order logic based on the concept of a type. Section 3 introduces Local Set Theory also known as higher-order intuitionistic logic, an important form of type theory based on intuitionistic logic.
Jetzt bei Ebay:
-
Fiction/Non-Fiction:Non-Fiction
-
Genre/Subject:PHILOSOPHY / Logic
-
Brand:Elements in Philosophy and Logic
-
Weight:0.13
-
Style:NA
-
Author:John L. Bell
-
Book Title:Higher-Order Logic and Type Theory
-
Release Title:Higher-Order Logic and Type Theory
-
Publisher:Elements in Philosophy and Logic
-
Publication Year:2022
-
Record Grading:New
-
Sleeve Grading:New
-
Language:English
-
Platform:NA
-
Size:NA
-
Format:book
-
Film/TV Title:Higher-Order Logic and Type Theory
-
Colour:NA
-
Material:NA
-
Department:NA
-
Number of Pages:88
-
Binding Type:Perfect
-
Item Length:228.6
-
Item Width:152.4
-
Item Height:4.57
-
Main Stone:NA
-
Metal Purity:NA
-
Metal:NA
-
Connectivity:NA
-
Model:NA
-
ISBN:9781108986908
-
Expressversand:International Priority Shipping 10,46 EUR - Lieferung zwischen 09. June 2025 und 13. June 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Großbritannien, Antigua und Barbuda, Österreich, Belgien, Bulgarien, Republik Kroatien, Zypern, Tschechische Republik, Dänemark, Estland, Finnland, Frankreich, Deutschland, Griechenland, Ungarn, Irland, Italien, Lettland, Litauen, Luxemburg, Malta, Niederlande, Polen, Portugal, Rumänien, Slowakei, Slowenien, Spanien, Schweden, Australien, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Israel, Hongkong, Norwegen, Indonesien, Malaysia, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, Thailand, Bangladesch, Belize, Bermuda, Bolivien, Barbados, Brunei Darussalam, Kaimaninseln, Dominica, Ecuador, Ägypten, Guernsey, Gibraltar, Guadeloupe, Grenada, Französisch-Guayana, Island, Jersey, Jordanien, Kambodscha, St. Kitts und Nevis, St. Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Malediven, Montserrat, Martinique, Nicaragua, Oman, Pakistan, Peru, Paraguay, Réunion, Turks- und Caicosinseln, Aruba, Saudi-Arabien, Südafrika, Vereinigte Arabische Emirate, Ukraine, Chile, Bahamas, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam, USA
-
Versand ausgeschlossen:Laos , Afghanistan , Armenien , Aserbaidschan , Bhutan , Georgien , Indien , Kasachstan , Kirgisistan , Mongolei , ... und weitere
