Počet záznamů: 1
Abbreviating Proofs Using Metamathematical Rules
- 1.HÁJEK, Petr, MONTAGNA, F., PUDLÁK, Pavel. 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.
Počet záznamů: 1