Spravočnaja kniga po matematičeskoj logike. Čast' IV, Teorija dokazatel'stv i konstruktivnaja matematika /

Saved in:
Bibliographic Details
Other Authors: Davidov, G. V. (Translator), Minc, Grigorij Jefimovič, 1939-2014 (Translator), Barwise, Jon, 1942-2000 (Editor)
Format: Book
Language:Russian
Published: Moskva : Nauka. Glavnaja redakcija fiziko-matematičeskoj literatury, 1983
Subjects:
matematická logika
predikátová logika
mathematical logic
predicate calculus
Related Items:Translation of: Handbook of mathematical logic
Cover Image
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

Similar Items