The mathematics of logic : a guide to completeness theorems and their applications /

Show other versions (1)

This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications.

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Kaye, Richard (Richard W.)
Format: Electronic eBook
Language:Inglés
Published: Cambridge : Cambridge University Press, 2007.
Subjects:
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Mathematische Logik
Online Access:Texto completo

Internet

Texto completo

Error inesperado del formato de respuesta.
Holdings details from

Similar Items