Abbreviating Proofs Using Metamathematical Rules

Number of the records: 1

1.

SYSNO ASEP	0401860
Document Type	C - Proceedings Paper (int. conf.)
R&D Document Type	The record was not marked in the RIV
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 / Clote P. ; Krajíček J.. - Oxford : Clarendon Press, 1993 - ISBN 978-0-19-853690-1
Pages	s. 197-221
Language	eng - English
Country	GB - United Kingdom
Keywords	arithmetics ; proof theory ; computational complexity
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	1920

Number of the records: 1