Einfache Typentheorie: Eine praktische Logik zum Ausdrücken und Nachdenken darüber
Ø 0.0
0 Bewertungen
64,28 €
The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. Provides the reader with a logic that is close to mathematical practice.
Jetzt bei Ebay:
-
EAN:9783031211140
-
UPC:9783031211140
-
ISBN:9783031211140
-
Format:Paperback, 295 pages, 2023 Edition
-
Author:Farmer, William M.
-
Book Title:Simple Type Theory: A Practical Logic for Expressi
-
Item Height:1.7 cm
-
Item Length:23.4 cm
-
Item Weight:0.49 kg
-
Item Width:15.6 cm
-
Language:Eng
-
Publisher:Birkhauser Verlag AG
-
Expressversand:International Priority Shipping 13,94 EUR - Lieferung zwischen 19. August 2025 und 21. August 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Großbritannien, Ö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, Schweden, Australien, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Hongkong, Norwegen, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, 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, Saudi-Arabien, Südafrika, Vereinigte Arabische Emirate, Ukraine, Chile, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam
-
Versand ausgeschlossen:Isle of Man , Algerien , Angola , Kongo, Demokratische Republik , Kongo, Republik , Ghana , Nigeria , Togo , Amerikanisch-Samoa , Französisch-Polynesien , ... und weitere