The little prover :: Daniel P. Friedman :: ISBN 9780262527958 :: MIT Press 2015 :: OBNB, the Open British National Bibliography

Publication Data

Title The little prover
Author Daniel P. Friedman
Contributor Carl Eastlund
Publisher MIT Press
Publication date 2015
Publication location Cambridge, Massachusetts
Language English

Topics

Automatic theorem proving
017459480

Catalogue Data

OBNB ID GBB5A0652
ISBN 10 0262527952
ISBN 13 9780262527958
Type BibliographicResource, Book
Dewey Classification 511.36028563

ISBD

P1053 xiii, 229 pages
P1042 Includes bibliographical references (pages217218) and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

The little prover by Daniel P. Friedman. ISBN 9780262527958. Published by MIT Press in 2015. Publication and catalogue information, links to buy online and reader comments.