Number of the records: 1
Arithmetic, proof theory, and computational complexity
Title statement Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček Issue data Oxford : Clarendon Press, 1993 Phys.des. xii, 428 s. ISBN 0198536909 Edition Oxford logic guides; 23 Note Lit. Another responsib. Clote, Peter, 1951- (editor) Krajíček, Jan (editor) Subj. Headings aritmetika arithmetic * matematické důkazy mathematical proofs * matematika mathematics * sborníky UDC 51(082) , 51:168.3 , 510.6 , 511.1(082) Country Velká Británie Language angličtina Document kind Books Call number Barcode Location Sublocation Info M1/1661 (PřF) 3134014651 PřF PřF, Knihovna Date due 30 days
Number of the records: 1