Number of the records: 1
Abbreviating Proofs Using Metamathematical Rules
- 1.0401860 - UIVT-O 930004 GB eng C - Conference Paper (international conference)
Hájek, Petr - Montagna, F. - Pudlák, Pavel
Abbreviating Proofs Using Metamathematical Rules.
Arithmetic, Proof Theory and Computational Complexity. Oxford: Clarendon Press, 1993 - (Clote, P.; Krajíček, J.), s. 197-221. Oxford Logic Guides, 23. ISBN 978-0-19-853690-1
Keywords : arithmetics * proof theory * computational complexity
Permanent Link: http://hdl.handle.net/11104/0122294
Number of the records: 1