Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)

Zach, Richard

ISBN 10: 1077322127 ISBN 13: 9781077322127
Editorial: Independently published, 2019
Usado Encuadernación de tapa blanda

Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Vendedor de AbeBooks desde 20 de diciembre de 2007

Este artículo en concreto ya no está disponible.
Ver los artículos de este vendedor Crear una petición para artículos similares

Descripción

Descripción:

Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. N° de ref. del artículo 00059179691

Denunciar este artículo

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: Encuadernación de tapa blanda
Condición: Good

Los mejores resultados en AbeBooks

Imagen de archivo

Zach, Richard
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Brand New. 388 pages. 9.69x7.44x0.88 inches. In Stock. Nº de ref. del artículo: __1077322127

Contactar al vendedor

Comprar nuevo

EUR 26,15
EUR 14,24 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Zach, Richard
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar usado

EUR 26,27
EUR 3,40 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Zach, Richard
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: new. Nº de ref. del artículo: 62L41_55_1077322127

Contactar al vendedor

Comprar nuevo

EUR 91,23
EUR 3,62 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito