Sets, Logic, Computation: An Open Introduction to Metalogic
Zach, Richard
ISBN 10: 1077322127 ISBN 13: 9781077322127
Editorial: Independently published, 2019
Nuevos
Paperback
Librería:
Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 6 de enero de 2003
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
388 pages. 9.69x7.44x0.88 inches. In Stock. N° de ref. del artículo zk1077322127
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Sets, Logic, Computation: An Open ...
Editorial: Independently published
Año de publicación: 2019
Encuadernación: Paperback
Condición: Brand New
Los mejores resultados en AbeBooks
Imagen de archivo
Sets, Logic, Computation: An Open Introduction to Metalogic
Publicado por
Independently published, 2019
ISBN 10: 1077322127
ISBN 13: 9781077322127
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 388 pages. 9.69x7.44x0.88 inches. In Stock. Nº de ref. del artículo: __1077322127
Comprar nuevo
EUR 26,15
EUR 14,24 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
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,27
EUR 3,40 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)
Publicado por
Independently published, 2019
ISBN 10: 1077322127
ISBN 13: 9781077322127
Nuevo
Tapa blanda
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 91,23
EUR 3,62 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles