02141nam a22005417a 4500 000098598 CZ-PrVSE 20070615111042.0 ta 070614s2006 xo a fr 001 0 slo d 80-227-2449-1 (váz.) ABA006 cze ABA006 ABA006 510 Obecné úvahy o matematice Konspekt 13 511 General principles Conspectus 13 510.6 MRF 510.633 MRF 510.635 MRF 510.6-021.167 MRF 510.22-021.167 MRF 510.6KVA Kvasnička, Vladimír, 1941- jn20011210357 aut Matematická logika / Vladimír Kvasnička, Jiří Pospíchal 1. vyd. Bratislava : Slovenská technická univerzita, 2006 viii, 389 s. : il. Edícia vysokoškolských učebníc Edícia učebných textov informatiky a informačných technológií Obsahuje bibliografii a rejstřík matematická logika ph122671 czenas výroková logika ph127455 czenas predikátová logika ph124584 czenas fuzzy logika ph120411 czenas fuzzy množiny ph120412 czenas učebnice fd133770 czenas mathematical logic eczenas propositional calculus eczenas predicate calculus eczenas fuzzy logic eczenas fuzzy sets eczenas textbooks eczenas Pospíchal, Jiří, 1961- jn20011210358 aut Slovenská technická univerzita (Bratislava, Slovensko). Fakulta informatiky a informačných technológií mzk2006357981 Edícia vysokoškolských učebníc Edícia učebných textov informatiky a informačných technológií 002932391 PKIT F196900 N:P 3142211480 20070614 510.6KVA 83 12687 UEP01 BOOK KIT DISLOK: Řepa, Václav - ISIS143 na dislokovaném UEP01 20070615