EUR 29,61
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer Nature Switzerland AG, CH, 2023
ISBN 10: 3030790126 ISBN 13: 9783030790127
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 38,11
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 2022 ed. This book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 30 years of teaching. The initial chapters start with problems from supporting fields, like set theory (ultrafilter constructions), full-information game theory (strategies), automata, and recursion theory (decidability, Kleene's theorems). The work then advances toward propositional logic (compactness and completeness, resolution method), followed by first-order logic, including quantifier elimination and the Ehrenfeucht- Fraïssé game; ultraproducts; and examples for axiomatizability and non-axiomatizability. The Arithmetic part covers Robinson's theory, Peano's axiom system, and Gödel's incompleteness theorems. Finally, the book touches universal graphs, tournaments, and the zero-one law in Mathematical Logic.Instructors teaching Mathematical Logic, as well as students who want to understand its concepts and methods, can greatly benefit from this work. The style andtopics have been specially chosen so that readers interested in the mathematical content and methodology could follow the problems and prove the main theorems themselves, including Gödel's famous completeness and incompleteness theorems. Examples of applications on axiomatizability and decidability of numerous mathematical theories enrich this volume.
EUR 35,77
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 28,85
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 42,82
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
EUR 31,19
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 32,22
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Majestic Books, Hounslow, Regno Unito
EUR 43,09
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 39,54
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 51,94
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Springer Nature Switzerland AG, CH, 2022
ISBN 10: 3030790096 ISBN 13: 9783030790097
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 54,30
Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. 2021 ed. This book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 30 years of teaching. The initial chapters start with problems from supporting fields, like set theory (ultrafilter constructions), full-information game theory (strategies), automata, and recursion theory (decidability, Kleene's theorems). The work then advances toward propositional logic (compactness and completeness, resolution method), followed by first-order logic, including quantifier elimination and the Ehrenfeucht- Fraïssé game; ultraproducts; and examples for axiomatizability and non-axiomatizability. The Arithmetic part covers Robinson's theory, Peano's axiom system, and Gödel's incompleteness theorems. Finally, the book touches universal graphs, tournaments, and the zero-one law in Mathematical Logic.Instructors teaching Mathematical Logic, as well as students who want to understand its concepts and methods, can greatly benefit from this work. The style andtopics have been specially chosen so that readers interested in the mathematical content and methodology could follow the problems and prove the main theorems themselves, including Gödel's famous completeness and incompleteness theorems. Examples of applications on axiomatizability and decidability of numerous mathematical theories enrich this volume.
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 43,97
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Editore: Polish Academy of Sciences Institute of Philosophy and Sociology, Wroclaw
Da: Burton Lysecki Books, ABAC/ILAB, Winnipeg, MB, Canada
EUR 16,31
Quantità: 1 disponibili
Aggiungi al carrello1981. (Trade paperback) Fine. pp. 55-98. Contributors include Balazs Biro, Laszlo Csirmaz, George Epstein, Leon Gumanski, Jacek Hawranek, Maria Nowakowska, Marek Palasinski, Teodor Stepien, Jan Zygmunt. (Mathematics, Symbolic Logic).
Lingua: Inglese
Editore: CSLI Publications, Stanford, 1995
ISBN 10: 1881526984 ISBN 13: 9781881526988
Da: HJP VERSANDBUCHHANDLUNG, WEDEL, SH, Germania
Prima edizione
EUR 27,75
Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Good. 1st Edition. 319 p. [STUDIES IN LOGIC, LANGUAGE AND INFORMATION].
Da: ALLBOOKS1, Direk, SA, Australia
EUR 59,55
Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 41,88
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: California Books, Miami, FL, U.S.A.
EUR 60,35
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: ALLBOOKS1, Direk, SA, Australia
EUR 61,75
Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 44,45
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: ALLBOOKS1, Direk, SA, Australia
EUR 63,22
Quantità: 3 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Lingua: Inglese
Editore: Springer Nature Switzerland AG, Cham, 2023
ISBN 10: 3030790126 ISBN 13: 9783030790127
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: new. Paperback. This book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 30 years of teaching. The initial chapters start with problems from supporting fields, like set theory (ultrafilter constructions), full-information game theory (strategies), automata, and recursion theory (decidability, Kleenes theorems). The work then advances toward propositional logic (compactness and completeness, resolution method), followed by first-order logic, including quantifier elimination and the Ehrenfeucht Fraisse game; ultraproducts; and examples for axiomatizability and non-axiomatizability. The Arithmetic part covers Robinsons theory, Peanos axiom system, and Goedels incompleteness theorems. Finally, the book touches universal graphs, tournaments, and the zero-one law in Mathematical Logic.Instructors teaching Mathematical Logic, as well as students who want to understand its concepts and methods, can greatly benefit from this work. The style andtopics have been specially chosen so that readers interested in the mathematical content and methodology could follow the problems and prove the main theorems themselves, including Goedels famous completeness and incompleteness theorems. Examples of applications on axiomatizability and decidability of numerous mathematical theories enrich this volume. The initial chapters start with problems from supporting fields, like set theory (ultrafilter constructions), full-information game theory (strategies), automata, and recursion theory (decidability, Kleenes theorems). Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Da: ALLBOOKS1, Direk, SA, Australia
EUR 66,50
Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 67,03
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: California Books, Miami, FL, U.S.A.
EUR 75,44
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.