TY  - BOOK
A1  - / Pavel Pudlak
TI  - Logical foundations of mathematics and computational complexit
PB  - کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند
SN  - 93586440
UR  /book/93586440/Logical-foundations-of-mathematics-and-computation/
ER  -