¡Agotado, pero muy deseado!
Parámetros
- 418 páginas
- 15 horas de lectura
Más información sobre el libro
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.
Compra de libros
Open Logic Project Textbooks: Sets, Logic, Computation, Richard Zacharuk
- Idioma
- Publicado en
- 2021
- Encuadernación
- (Tapa blanda)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.
- Título
- Open Logic Project Textbooks: Sets, Logic, Computation
- Subtítulo
- An Open Introduction to Metalogic
- Idioma
- Inglés
- Autores
- Richard Zacharuk
- Editorial
- Independently published
- Publicado en
- 2021
- Formato
- Tapa blanda
- Páginas
- 418
- ISBN13
- 9798536395509
- Serie
- Categorías
- Etiquetas
- No ficción, Ciencias sociales, Libros de texto, Tecnología & Ingeniería, Ciencia y Matemáticas, Filosofía, Ordenadores & Internet, Matemáticas, Lógica
- Descripción
- 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.