Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by ImportBot
July 30, 2014 | History

Proof, logic, and formalization 1 edition

By unknown author
Cover of: Proof, logic, and formalization |

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


Buy this book


Sheesh. There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Proof, logic, and formalization
edited by Michael Detlefsen.

Published 1992 by Routledge in London, New York .
Written in English.

Edition Notes

Includes bibliographical references and index.

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9.54 .P77 1991

The Physical Object

Pagination
x, 241 p. :
Number of pages
241

ID Numbers

Open Library
OL1538991M
Internet Archive
prooflogicformal00detl_265
ISBN 10
0415023351
LC Control Number
91017469
Library Thing
4896468
Goodreads
4683197

History Created July 30, 2014 · 1 revision Download catalog record: RDF / JSON

July 30, 2014 Created by ImportBot import new book