Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Csirmaz, Laszlo; Gyenis, Zal�n

ISBN 10: 3030790126 ISBN 13: 9783030790127

Editorial: Springer, 2023

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Biblios, Frankfurt am main, HESSE, Alemania

Vendedor de AbeBooks desde 10 de septiembre de 2024

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa blanda

Condici�n: Nuevo

Precio: EUR 47,81 Convertir moneda

EUR 14,50 gastos de env�o desde Alemania a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 4 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

N� de ref. del art�culo 18396288434

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Editor

Springer

Fecha de publicaci�n

2023

Idioma

Ingl�s

ISBN 10

3030790126

ISBN 13

9783030790127

Encuadernaci�n

Encuadernaci�n de tapa blanda

Estado

New

Cat�logos de vendedores

Acerca de

Sinopsis

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 and topics 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.

Acerca del autor

Laszlo Csirmaz is Senior Researcher at the Institute of Information Theory and Automation (UTIA), Czech Republic and R�nyi Alfr�d Institute of Mathematics. He started his career in 1975 at the R�nyi Institute, where he co-founded the Cryptography Group. From 1996 to 2020, he was Chair of the Computer and Statistics Center at the Central European University, Hungary. Since 1990, he has been delivering lectures at the E�tv�s Lor�nd University, Hungary, mainly on Set Theory and Mathematical Logic, and has held a part-time position at the University of Debrecen, Hungary, from 2001 to 2018.

Zal�n Gyenis got his Ph.D. in Mathematics in 2013 from the Central European University, Hungary, and has been Premium Postdoctoral Research Fellow at the Hungarian Academy of Sciences. Since 2017, he has been working as Assistant Professor at the Logic Department of the Jagiellonian University, Poland. In 2018, he was awarded the Alfred Tarski Logic Prize.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

We carry a wide selection of books from South Asia, United States, UK.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Readingos GmbH
Kaiserstra�e 47, Frankfurt am Main, 60329, Germany

Condiciones de venta y env�o

Condiciones de venta

Derecho a cancelaci�n

Condiciones de env�o

Tarifas de env�o de Alemania a Espa�a

Tarifas de env�o de Alemania a Espa�a
Cantidad del pedido	De 12 a 25 d�as h�biles	De 12 a 25 d�as h�biles
Primer art�culo	EUR 14.50	EUR 14.50

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.

Informaci�n detallada sobre el vendedor