¡Agotado, pero muy deseado!
Parámetros
- 304 páginas
- 11 horas de lectura
Más información sobre el libro
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.
Compra de libros
Graduate Texts in Mathematics - 291: Mathematical Logic - Third Edition, Heinz Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
- Idioma
- Publicado en
- 2021
- product-detail.submit-box.info.binding
- (Tapa dura)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.
- Título
- Graduate Texts in Mathematics - 291: Mathematical Logic - Third Edition
- Idioma
- Inglés
- Editorial
- Springer
- Publicado en
- 2021
- Formato
- Tapa dura
- Páginas
- 304
- ISBN10
- 3030738388
- ISBN13
- 9783030738389
- Serie
- Etiquetas
- No ficción, Ciencias sociales, Ciencia y Matemáticas, Temática filosófica, Filosofía, Matemáticas, Lógica
- Descripción
- 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.