Mathematical Logic - Couverture souple

Ebbinghaus, H. D.

Couverture souple

ISBN 10 : 1475723571 ISBN 13 : 9781475723571

Editeur : Springer, 2012

Synopsis

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

A propos du livre

Présentation de l'éditeur

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Revue de presse

"...the book remains my text of choice for this type of material, and I highly recommend it to anyone teaching a first logic course at this level." --Journal of Symbolic Logic

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2012
• Langue: anglais
• ISBN 10: 1475723571
• ISBN 13: 9781475723571
• Reliure: Broché
• Nombre de pages: 304
• Coordonnées du fabricant: non disponible
• Personne responsable: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Allemagne