Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data Control Number UPD-00000492499 Date and Time of Latest Transaction 20090717033418.0 General Information 950421s2008 eng International Standard Book Number 720422574 Cataloging Source DSCI Language Code eng Local Call Number QA9 .C65 1968 Main Entry - Meeting Name Proceedings of the summer conference Buffalo, N.Y., 1968 Title Statement Intuitionism and proof theory Physical Description viii, 516 p. 23 cm Series Statement/Added Entry - Title Studies in logic and the foundations of mathematics Subject Added Entry - Topical Term Logic, Symbolic and mathematical -- Congresses Collection Category FO Format Monograph Location UP DSCI QA9 .C65 1968 UDSCB0002722 Regular Circulation UDSCB0002722   UP DSCI QA9 .C65 1968 UDSCB0002721 Regular Circulation UDSCB0002721   UP DSCI QA9 .C65 1968 UDSCB0002722 Regular Circulation UDSCB0002722 Textual Physical Form Designator Book           Physical Location University of the Philippines Diliman: College of Science QA9 / .C65 1968           Digital Copy Not Available          Add to Book Cart  |   Download MARC