Nimbe Adedipe Library OPAC

Arithmetic, proof theory, and computational complexity / (Record no. 8763)

MARC details
000 -LEADER
fixed length control field 00876cam a2200241 a 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 921116s1993 enka b 000 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 0198536909 (cloth) :
245 00 - TITLE STATEMENT
Title Arithmetic, proof theory, and computational complexity /
Statement of responsibility, etc edited by Peter Clote and Jan Krajíček.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Oxford [England] :
Name of publisher Clarendon Press ;
Place of publication New York :
Name of publisher Oxford University Press,
Date of publication c1993.
300 ## - COLLATION
Pagination xii, 428 p. :
Other physical details ill. ;HB
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Series Title Oxford logic guides ;
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Series Title Oxford science publications
650 #0 - TRACINGS
Main Subject Proof theory.
650 #0 - TRACINGS
Main Subject Computational complexity.
700 1# - ADDITIONAL AUTHOR
Additional Author Clote, Peter.
700 1# - ADDITIONAL AUTHOR
Additional Author Krajíček, Jan.
856 41 - ELECTRONIC LOCATION AND ACCESS
URL http://www.loc.gov/catdir/enhancements/fy0605/92041659-t.html
856 42 - ELECTRONIC LOCATION AND ACCESS
URL http://www.loc.gov/catdir/enhancements/fy0605/92041659-d.html
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Item type Books
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.54
Item number .A75 1993
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Holdings
Source of classification or shelving scheme Not for loan Permanent location Current location Date acquired Full call number Barcode. Koha item type
Library of Congress Classification   Main LIbrary Main LIbrary 04/11/2025 QA9.54.C46 1992 2025-211632 Books