An Introduction to Mathematical Logic and Type Theory: To Truth through Proof
de Andrews, Peter B
- Usado
- Tapa dura
- First
- Estado
- Ver descripción
- ISBN 10
- 0120585359
- ISBN 13
- 9780120585359
- Librería
-
Ithaca, New York, United States
Formas de pago aceptadas
Sobre este artículo
Very good condition. Minor scuffing of spine. No markings
Reseñas
(¡Iniciar sesión or Crear una cuenta primero!)
Detalles
- Librería
- Rachel Maines Inc. (US)
- Inventario del vendedor #
- LC85-19942
- Título
- An Introduction to Mathematical Logic and Type Theory
- Autor
- Andrews, Peter B
- Estado del libro
- Usado
- Cantidad disponible
- 1
- Edición
- First
- Encuadernación
- Tapa dura
- ISBN 10
- 0120585359
- ISBN 13
- 9780120585359
- Editorial
- Academic Press
- Lugar de publicación
- Orlando
- Fecha de publicación
- 1986
- Páginas
- 304
- Palabras clave
- Logic, Symbolic and mathematical; Type Theory
Términos de venta
Rachel Maines Inc.
30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.
Sobre el vendedor
Rachel Maines Inc.
Miembro de Biblio desde 2023
Ithaca, New York
Sobre Rachel Maines Inc.
Individual scholar with large book collection
Glosario
Algunos términos que podrían usarse en esta descripción incluyen:
- Spine
- The outer portion of a book which covers the actual binding. The spine usually faces outward when a book is placed on a shelf....