Introduction To Mathematical Logic - Walicki, Michal (Univ Of Bergen, Norway) - Libros - World Scientific Publishing Co Pte Ltd - 9789814343862 - 15 de diciembre de 2011
En caso de que portada y título no coincidan, el título será el correcto

Walicki, Michal (Univ Of Bergen, Norway)
Introduction To Mathematical Logic

Precio
Mex$ 1.457
sin IVA

Pedido desde almacén remoto

Entrega prevista 11 - 27 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Walicki, Michal (Univ Of Bergen, Norway)

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

También disponible como:

An introduction to mathematical logic. Starting with the basics of set theory, induction and computability, it covers propositional and first-order logic - their syntax, reasoning systems and semantics. It presents soundness and completeness results for Hilbert's and Gentzen's systems, along with simple decidability arguments.

300 pages, illustrations

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 15 de diciembre de 2011
ISBN13 9789814343862
Editores World Scientific Publishing Co Pte Ltd
Páginas 282
Dimensiones 164 × 236 × 20 mm   ·   532 g

Más del mismo editor

Ver todo de Walicki, Michal (Univ Of Bergen, Norway) ( Ej. Hardcover Book y Paperback Book )