Klasická matematická logika /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Sochor, Antonín 1942- (Autor)
Médium: Kniha
Jazyk:čeština
Vydáno: Praha : Univerzita Karlova v Praze, 2001
Vydání:1. vyd.
Témata:
výrokový počet > teória modelov > interpolácia > Robinsonova aritmetika > predikátový počet
ISBN:8024602180
On-line přístup: Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

MARC

LEADER 00000nam a2200000 4500
003 SK-BrCVT
005 20220621161738.0
008 070301s2001 xr e ||||||cze d
020 |a 8024602180 
035 |a CVTIDW1390593 
040 |b slo  |a CVTI SR  |e AACR2 
041 0 |a cze 
044 |a xr 
080 |a 510.6  |2 UDC-MRF 
100 1 |a Sochor, Antonín  |d 1942-,  |4 aut 
245 1 0 |a Klasická matematická logika /  |c Antonín Sochor 
250 |a 1. vyd. 
260 |a Praha :  |b Univerzita Karlova v Praze,  |c 2001 
300 |a 402 s. :  |b lit. ; 
653 1 |a výrokový počet  |a teória modelov  |a interpolácia  |a Robinsonova aritmetika  |a predikátový počet 
910 |a BA002  |b A600706 
919 |a 80-246-0218-0 
974 |f Knihy 
992 |a AMG 
999 |c 144681  |d 144681 

Podobné jednotky