Number of the records: 1
Abbreviating Proofs Using Metamathematical Rules
- 1.HÁJEK, P., MONTAGNA, F., PUDLÁK, P. Abbreviating Proofs Using Metamathematical Rules. In: CLOTE, P., KRAJÍČEK, J., eds. Arithmetic, Proof Theory and Computational Complexity. Oxford: Clarendon Press, 1993, s. 197-221. Oxford Logic Guides, 23. ISBN 978-0-19-853690-1.
Number of the records: 1