Logika a logiky. Systém klasické výrokové logiky, jeho rozšíření a alternativy /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Peregrin, Jaroslav
Médium: Kniha
Jazyk:čeština
Vydáno: Praha : Academia, nakladatelství Československé akademie věd, 2004
Vydání:1. vyd.
Témata:
výrokový počet > kripkovská sémantika > rozhodovací strom
ISBN:8020011870
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 20220617214416.0
008 050102s2004 xr e ||||||cze d
020 |a 8020011870 
035 |a CVTIDW0974941 
040 |b slo  |a CVTI SR 
041 0 |a cze 
044 |a xr 
080 |a 510.633  |2 UDC-MRF 
080 |a 164  |2 UDC-MRF 
100 1 |a Peregrin, Jaroslav 
245 1 0 |a Logika a logiky. Systém klasické výrokové logiky, jeho rozšíření a alternativy /  |c Jaroslav Peregrin 
250 |a 1. vyd. 
260 |a Praha :  |b Academia, nakladatelství Československé akademie věd,  |c 2004 
300 |a 205 s. :  |b grafy, lit., obr., tab. ; 
653 1 |a výrokový počet  |a kripkovská sémantika  |a rozhodovací strom 
910 |b A592522  |b A592523 
919 |a 80-200-1187-0 
974 |f Knihy 
992 |a AMG 
999 |c 139274  |d 139274 

Podobné jednotky