John L. Bell - Logik und Typentheorie höherer Ordnung - neues Taschenbuch - J555z
27,73 €
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,34 EUR - Lieferung zwischen 27. January 2025 und 03. February 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, USA, 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
-
Versand ausgeschlossen:Postfach , Laos , Afghanistan , Armenien , Aserbaidschan , Bhutan , Georgien , Indien , Kasachstan , Kirgisistan , ... und weitere
