Descripción:
Springer, 1990-03-23. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Intuitionistic Type Theory - Notes 'by Giovanni Sambin of a series of lectures given in Padua, June 1980 de Martin-Lof, Per - 1984
de Martin-Lof, Per
Intuitionistic Type Theory - Notes 'by Giovanni Sambin of a series of lectures given in Padua, June 1980
de Martin-Lof, Per
- Usado
- very good
- Tapa blanda
Napoli: Bibliopolis, 1984. Wraps. Very Good. [1], 91 pages. 6 5/8 x 9 3/8 inches. Publisher's grey wrappers printed in red and black. Some sun fading to covers overall. Wraps. Studies in Proof Theory Lectures Notes 1. Per Martin-Lof is an important mathematician, and his work on Intuitionistic Type Theory has been influential. Much of his work on the subject is recorded in hard to find preprints for various symposia. His earliest work on the subject was in the early seventies.
-
Librería
Kuenzig Books
(US)
- Formato/Encuadernación Wraps
- Estado del libro Usado - Very Good
- Cantidad disponible 1
- Encuadernación Tapa blanda
- ISBN 10 8870881059
- ISBN 13 9788870881059
- Editorial Bibliopolis
- Lugar de publicación Napoli
- Fecha de publicación 1984
- Palabras clave logic
- Product_type
Foto de archivo: la portada puede ser diferente
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science)
de Martin-Löf, Per [Editor]; Mints, Grigori [Editor];
- Usado
- very good
- Tapa blanda
- Estado
- Usado - Very Good
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540523352 / 3540523359
- Cantidad disponible
- 1
- Librería
-
Spring Branch, Texas, United States
- Precio
-
EUR 44.89
Mostrar detalles
Precio
EUR 44.89
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
de Per Martin-Löf
- Nuevo
- Estado
- New
- ISBN 10 / ISBN 13
- 9783540523352 / 3540523359
- Cantidad disponible
- 362
- Librería
-
Uxbridge, Greater London, United Kingdom
- Precio
-
EUR 62.70
Mostrar detalles
Descripción:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings.
Precio
EUR 62.70
Foto de archivo: la portada puede ser diferente
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
de Per Martin-Lof
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540523352 / 3540523359
- Cantidad disponible
- 10
- Librería
-
Southport, Merseyside, United Kingdom
- Precio
-
EUR 70.68
Mostrar detalles
Descripción:
Paperback / softback. New. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.
Precio
EUR 70.68
Foto de archivo: la portada puede ser diferente
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science)
de Per Martin-Löf (Editor), Grigori Mints (Editor)
- Usado
- Tapa blanda
- Estado
- Used:Good
- Edición
- 1990
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540523352 / 3540523359
- Cantidad disponible
- 1
- Librería
-
HOUSTON, Texas, United States
- Precio
-
EUR 126.92
Mostrar detalles
Descripción:
Springer, 1990-03-23. 1990. Paperback. Used:Good.
Precio
EUR 126.92
Foto de archivo: la portada puede ser diferente
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science, 417)
de Martin-Löf, Per [Editor]; Mints, Grigori [Editor];
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540523352 / 3540523359
- Cantidad disponible
- 5
- Librería
-
campbelltown, Florida, United States
- Precio
-
EUR 104.41
Mostrar detalles
Descripción:
Springer. paperback. New. 6x0x9. Brand New Book in Publishers original Sealing
Precio
EUR 104.41