Description:
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 by Martin-Lof, Per - 1984
by Martin-Lof, Per
Intuitionistic Type Theory - Notes 'by Giovanni Sambin of a series of lectures given in Padua, June 1980
by Martin-Lof, Per
- Used
- very good
- Paperback
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.
-
Bookseller
Kuenzig Books
(US)
- Format/Binding Wraps
- Book Condition Used - Very Good
- Quantity Available 1
- Binding Paperback
- ISBN 10 8870881059
- ISBN 13 9788870881059
- Publisher Bibliopolis
- Place of Publication Napoli
- Date Published 1984
- Keywords logic
- Product_type
Stock Photo: Cover May Be Different
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science)
by Martin-Löf, Per [Editor]; Mints, Grigori [Editor];
- Used
- very good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540523352 / 3540523359
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
$47.73
Show Details
Item Price
$47.73
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
by Per Martin-Löf
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540523352 / 3540523359
- Quantity Available
- 362
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$67.32
Show Details
Description:
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.
Item Price
$67.32
Stock Photo: Cover May Be Different
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
by Per Martin-Lof
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540523352 / 3540523359
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$75.88
Show Details
Description:
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.
Item Price
$75.88
Stock Photo: Cover May Be Different
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science)
by Per Martin-Löf (Editor), Grigori Mints (Editor)
- Used
- Paperback
- Condition
- Used:Good
- Edition
- 1990
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540523352 / 3540523359
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
$134.93
Show Details
Description:
Springer, 1990-03-23. 1990. Paperback. Used:Good.
Item Price
$134.93
Stock Photo: Cover May Be Different
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science, 417)
by Martin-Löf, Per [Editor]; Mints, Grigori [Editor];
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540523352 / 3540523359
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
$111.00
Show Details
Description:
Springer. paperback. New. 6x0x9. Brand New Book in Publishers original Sealing
Item Price
$111.00