Počet záznamů: 1
Arithmetic, proof theory, and computational complexity
Údaje o názvu Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček Vyd.údaje Oxford : Clarendon Press, 1993 Fyz.popis xii, 428 s. ISBN 0198536909 Edice Oxford logic guides; 23 Poznámka Lit. Dal.odpovědnost Clote, Peter, 1951- (editor) Krajíček, Jan (editor) Předmět.hesla aritmetika arithmetic * matematické důkazy mathematical proofs * matematika mathematics * sborníky MDT 51(082) , 51:168.3 , 510.6 , 511.1(082) Země vyd. Velká Británie Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M1/1661 (PřF) 3134014651 PřF PřF, Knihovna Doba výp. 30 dní
Počet záznamů: 1