Proof, logic, and formalization

Saved in:
Bibliographic Details
Corporate Author: ebrary, Inc
Other Authors: Detlefsen, Michael, 1948-
Format: Electronic eBook
Language:English
Published: London ; New York : Routledge, 1992.
Subjects:
Online Access:An electronic book accessible through the World Wide Web; click to view
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a2200000 a 4500
001 0000065926
005 20171002053234.0
006 m u
007 cr cn|||||||||
008 910409s1992 enka sb 001 0 eng
010 |z  91017469 
020 |z 0415023351 
035 |a (CaPaEBR)ebr10017091 
035 |a (OCoLC)60855281 
040 |a CaPaEBR  |c CaPaEBR 
050 1 4 |a QA9.54  |b .P77 1991eb 
082 0 4 |a 511.3  |2 20 
245 0 0 |a Proof, logic, and formalization  |h [electronic resource] /  |c edited by Michael Detlefsen. 
260 |a London ;  |a New York :  |b Routledge,  |c 1992. 
300 |a x, 241 p. :  |b ill. 
504 |a Includes bibliographical references and index. 
533 |a Electronic reproduction.  |b Palo Alto, Calif. :  |c ebrary,  |d 2013.  |n Available via World Wide Web.  |n Access may be limited to ebrary affiliated libraries. 
650 0 |a Proof theory. 
650 0 |a Logic, Symbolic and mathematical. 
655 7 |a Electronic books.  |2 local 
700 1 |a Detlefsen, Michael,  |d 1948- 
710 2 |a ebrary, Inc. 
856 4 0 |u http://site.ebrary.com/lib/daystar/Doc?id=10017091  |z An electronic book accessible through the World Wide Web; click to view 
908 |a 170314 
942 0 0 |c EB 
999 |c 55084  |d 55084