Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks) - Tapa blanda
Libro 1 de 5: Open Logic Project Textbooks
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Sets, Logic, Computation: An Open Introduction to Metalogic...
Imagen de archivo
Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
Publicado por
Independently published, 2019
ISBN 10: 1077322127
ISBN 13: 9781077322127
Antiguo o usado
paperback
Librería: Friends of Johnson County Library, Lenexa, KS, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
paperback. Condición: 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. Nº de ref. del artículo: 53DTTR000TWY
Comprar usado
EUR 26,22
EUR 3,39 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Nº de ref. del artículo: 62L41_55_1077322127
Comprar nuevo
EUR 57,42
EUR 3,61 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles