Complexity of proofs and their transformations in axiomatic theories
36 min read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by V. P. Orevkov
Logical and logico-mathematical calculi. 2.
Logicheskie i logiko-matematic
Logicheskie i logiko-matematicheskie ischislenii︠a︡. 2.
Problems in the constructive t
Problems in the constructive trend in mathematics
Problems in the Constructive Trend in Mathematics V Pt. V
Problemy konstruktivnogo napra
Problemy konstruktivnogo napravlenii︠a︡ v matematike
Teoreticheskie primenenii︠a︡ m
Teoreticheskie primenenii︠a︡ metodov matematicheskoĭ logiki