Articoli correlati a Sets, Logic, Computation: An Open Introduction to Metalogic

Sets, Logic, Computation: An Open Introduction to Metalogic - Brossura

Libro 4 di 5: Open Logic Project Textbooks

Zach, Richard

 
9798536395509: Sets, Logic, Computation: An Open Introduction to Metalogic
Brossura
ISBN 13: 9798536395509
Casa editrice: Independently published, 2021

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Independently published
Data di pubblicazione
2021
Lingua
Inglese
ISBN 13 
9798536395509
Rilegatura
Copertina flessibile
Numero di pagine
436
Contatto del produttore
Manufactured by Amazon on behalf of the author
https://www.amazon.it/hz/contact-us

c/o Amazon Media EU S.à.r.l., 38 Avenue John F. Kennedy
Luxembourg
L-1855
Lussemburgo