Počet záznamů: 1
Abbreviating Proofs Using Metamathematical Rules
- 1.0401860 - UIVT-O 930004 GB eng C - Konferenční příspěvek (zahraniční konf.)
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
Klíčová slova: arithmetics * proof theory * computational complexity
Trvalý link: http://hdl.handle.net/11104/0122294
Počet záznamů: 1