Spravočnaja kniga po matematičeskoj logike. Čast' IV, Teorija dokazatel'stv i konstruktivnaja matematika /
Saved in:
Other Authors: | , , |
---|---|
Format: | Book |
Language: | Russian |
Published: |
Moskva :
Nauka. Glavnaja redakcija fiziko-matematičeskoj literatury,
1983
|
Subjects: | |
Related Items: | Translation of:
Handbook of mathematical logic |
For reservations/loans of the physical document, please log in.
Description | Status | Library | Collection | Call Number | Notes | Barcode |
---|---|---|---|---|---|---|
Available In house loan CLOSED STACKS |
Faculty of Science | ÚK sklad | I-1073 | 3145004946 | ||
Available Month |
Faculty of Science | ÚK volný výběr | 510.6-TEOR | 3145025383 |