Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks) - Tapa blanda

Libro 4 de 5: Open Logic Project Textbooks

Zach, Richard

 
9798536395509: Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
Tapa blanda
ISBN 13: 9798536395509
Editorial: Independently published, 2021

Sinopsis

A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. It is based on the Open Logic project, and available for free download at slc.openlogicproject.org.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Independently published
Año de publicación
2021
Idioma
Inglés
ISBN 13 
9798536395509
Encuadernación
Tapa blanda
Número de páginas
436
Contacto del fabricante
no disponible
Persona responsable
no disponible