Number of the records: 1
Abbreviating Proofs Using Metamathematical Rules
SYS 0401860 LBL 00000nam^^22^^^^^^^^450 005 20240103181729.3 101 0-
$a eng 102 $a GB 200 1-
$a Abbreviating Proofs Using Metamathematical Rules 463 -1
$1 200 1 $a Arithmetic, Proof Theory and Computational Complexity $v s. 197-221 $1 702 $a Clote $b P. $4 340 $1 702 $a Krajíček $b J. $4 340 $1 210 $a Oxford $c Clarendon Press $d 1993 $1 010 $a 978-0-19-853690-1 $1 225 $a Oxford Logic Guides $v 23 610 1-
$a arithmetics 610 1-
$a proof theory 610 1-
$a computational complexity 700 -1
$3 cav_un_auth*0100752 $a Hájek $b Petr $p UIVT-O $4 070 $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0206851 $a Montagna $b F. $y IT $4 070 701 -1
$3 cav_un_auth*0100699 $a Pudlák $b Pavel $p MU-W $w Mathematical Logic and Theoretical Computer Science $4 070 $T Matematický ústav AV ČR, v. v. i.
Number of the records: 1