Libro Mathematical Logic De Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, W

Formato

Libro Físico

Autor

Heinz-Dieter Ebbinghaus

Jörg Flum

Wolfgang Thomas

Editorial

Springer

Año

2021

Idioma

Inglés

N° páginas

304

Encuadernación

Tapa Dura

Dimensiones

23.9 x 20.3 x 2.0 cm

Peso

0.68 kg.

ISBN13

9783030738389

N° edición

0003

Categorías

Ciencia y análisis de datos
Lógica matemática
Análisis y captura de datos
Ciencias de la computación

Mathematical Logic

Heinz-Dieter Ebbinghaus (Autor) · Jörg Flum (Autor) · Wolfgang Thomas (Autor) · Springer · Tapa Dura

Sin Stock

Reseña del libro "Mathematical Logic"

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.