Počet záznamů: 1
Abbreviating Proofs Using Metamathematical Rules
- 1.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
http://hdl.handle.net/11104/0122294
Počet záznamů: 1