|
|||||
|
|
Length and Structure of Proofs |
|
| Authors: | Parikh Rohit |
| Institution: | (1) Doctoral Programs in Computer Science, Mathematics and Philosophy, City University Graduate Center, City University of New York, 33 West 42 Street, New York, NY 10036-8099, USA |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |