Complexity of Proofs and Their Transformations in Axiomatic Theories

Complexity of Proofs and Their Transformations in Axiomatic Theories

1993 • 153 pages
Nitin
Nitin Rughoonauth
Added to listMy Library
Saved as Want To Read