Sets, Logic, Computation : An Open Introduction to Metalogic

Zach, Richard

Editorial: Independently Published, 2021

Usado Encuadernaci�n de tapa blanda

Librer�a: Better World Books, Mishawaka, IN, Estados Unidos de America Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 3 de agosto de 2006

Este ejemplar en concreto ya no est� disponible. Estas algunas de las coincidencias similares para Sets, Logic, Computation : An Open Introduction to Metalogic de Zach, Richard.

Ver los art�culos de este vendedor Crear una petici�n para art�culos similares

Ver todos los ejemplares de este libro

Descripci�n

Used book that is in excellent condition. May show signs of wear or have minor defects. N� de ref. del art�culo 51941036-6

Denunciar este art�culo

Sinopsis:

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.

"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: 2021
Encuadernaci�n: Encuadernaci�n de tapa blanda
Condici�n: Very Good

Los mejores resultados en AbeBooks

Imagen de archivo

Sets, Logic, Computation: An Open Introduction to Metalogic

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

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

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

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

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