TY  - BOOK
A1  - / Grigorii E. Mints
TI  - Selected papers in proof theory
PB  - كتابخانه پردیس علوم (دانشگاه تهران)
SN  - 100994792
UR  /book/100994792/Selected-papers-in-proof-theory/
ER  -