Artículos relacionados a Mathematical Logic (Undergraduate Texts in Mathematics)
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas
"...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
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 108,19
EUR 11,52 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Mathematical Logic (Undergraduate Texts in Mathematics)
Imagen de archivo
Mathematical Logic (Undergraduate Texts in Mathematics)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 2nd reprint edition. 301 pages. French language. 9.25x6.10x0.79 inches. In Stock. Nº de ref. del artículo: zk1475723571
Cantidad disponible: 1 disponibles