Sets, Logic, Computation: An Open Introduction to Metalogic - Brossura
Libro 1 di 5: Open Logic Project Textbooks
Sinossi
A textbook on the semantics, proof theory, and metatheory of first-order logic. 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.
Risultati della ricerca per Sets, Logic, Computation: An Open Introduction to Metalogic
Foto dell'editore
Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
Editore:
Independently published, 2019
ISBN 10: 1077322127
ISBN 13: 9781077322127
Antico o usato
paperback
Da: Friends of Johnson County Library, Lenexa, KS, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: LikeNew. This paperback book appears like new. The exterior can have minor shelving marks. The pages appear to be clean and unmarked. All items ship Monday - Saturday - Fast Shipping in a secure package. Your purchase will help support the programs and collections of the Johnson County (Kansas) Library. Codice articolo 53DTTR000TWY
Compra usato
EUR 26,34
EUR 3,41 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
Da: GoldBooks, Denver, CO, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: new. Codice articolo 62L41_55_1077322127
Compra nuovo
EUR 58,71
EUR 3,63 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili