Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data Control Number UPD-00000171717 Date and Time of Latest Transaction 20090716221818.0 General Information 080209s1995 enk 000 eng International Standard Book Number 0521452058 Language Code eng Local Call Number QA 9.56 K73 1995 Main Entry - Personal Name Krajihcek, Jan Title Statement Bounded arithmetic, propositional logic, and complexity theory / Jan Krajihcek Physical Description xiii, 343 p Series Statement/Added Entry - Title Encyclopedia of mathematics and its applications ; v.60 Subject Added Entry - Topical Term *Constructive mathematics   Computational complexity   Proposition (Logic) Collection Category FO Format Paper Location UP DENG QA 9.56 K73 1995 UDEGB0028885 Regular Circulation E-30757 Textual Physical Form Designator Book           Physical Location University of the Philippines Diliman: College of Engineering Library I QA 9.56 K73 1995           Digital Copy Not Available          Add to Book Cart  |   Download MARC