Úvod do matematické logiky - Binder, Jiří (Praha : Státní pedagogické nakladatelství, 1983)
Rozmn.
Vydavateľ: Univerzita Karlova
Pozn.
Prehľ. lit.