Eugenio G. Omodeo - Computerlogik und Set-Theorie anwendende Form - J555z
Ø 0.0
0 Bewertungen
102,58 €
The Title is Computational Logic and Set Theory : Applying Formalized Logic to Analysis. This must-read text presents the pioneering work of the late Professor Jacob Jack T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the AetnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
Jetzt bei Ebay:
-
Fiction/Non-Fiction:Non-Fiction
-
Genre/Subject:COMPUTERS / Computer Science
-
Brand:Springer London Ltd
-
Weight:0.79
-
Style:NA
-
Title:Computational Logic and Set Theory Applying Formalized Logic to
-
Release Title:Computational Logic and Set Theory Applying Formalized Logic to
-
Record Grading:New
-
Sleeve Grading:New
-
Platform:NA
-
Size:NA
-
Film/TV Title:Computational Logic and Set Theory Applying Formalized Logic t
-
Colour:NA
-
Material:NA
-
Department:NA
-
Binding Type:Hardcover
-
Item Length:233.93
-
Main Stone:NA
-
Metal Purity:NA
-
Metal:NA
-
Connectivity:NA
-
Model:NA
-
ISBN:9780857298072
-
Expressversand:International Priority Shipping 13,14 EUR - Lieferung zwischen 22. May 2025 und 27. May 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:Afghanistan , Libyen , Nauru , Somalia , Jemen , Russische Föderation
