Abbreviating Proofs Using Metamathematical Rules

Number of the records: 1

1.

SYSNO	0401860
Title	Abbreviating Proofs Using Metamathematical Rules
Author(s)	Hájek, Petr (UIVT-O)_{RID, SAI} Montagna, F. (IT) Pudlák, Pavel (MU-W)_{RID, SAI}
Source Title	Arithmetic, Proof Theory and Computational Complexity. s. 197-221 / Clote P. ; Krajíček J.. - Oxford : Clarendon Press, 1993
Document Type	Konferenční příspěvek (zahraniční konf.)
Language	eng
Country	GB
Keywords	arithmetics * proof theory * computational complexity
Permanent Link	http://hdl.handle.net/11104/0122294

Number of the records: 1