Problém rozhodnutelnosti v predikátovém kalkulu I. stupně

Saved in:
Bibliographic Details
Main Author: Glanc, Alois (Dissertant)
Other Authors: Hořejš, Jiří, 1933-2001 (Thesis advisor)
Format: Thesis Manuscript
Published: 1966.
Cover Image
For reservations/loans of the physical document, please log in.
Description Status Library Collection Call Number Notes Barcode
In house loan CLOSED STACKS
Faculty of Science ÚK sklad K-1056 3145133635