Cover image not available

The automation of proof : a historical and sociological exploration

Donald A. MacKenzie

Publication Data

Title The automation of proof : a historical and sociological exploration
Author Donald A. MacKenzie
Contributor Edinburgh PICT
Publisher Research Centre for Social Sciences, University of Edinburgh
Publication date 1994
Publication location Edinburgh
Language English

Topics

Automatic theorem proving

Catalogue Data

OBNB ID GB9534589
ISBN 10 1872287638
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 45 p.

Buy a copy

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

The automation of proof : a historical and sociological exploration by Donald A. MacKenzie. ISBN 1872287638. Published by Research Centre for Social Sciences, University of Edinburgh in 1994. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.