Matematická logika /
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Médium: | Kniha |
| Jazyk: | slovenština |
| Vydáno: |
Bratislava :
Slovenská technická univerzita v Bratislave,
2006
|
| Vydání: | 1. vyd. |
| Edice: | Edícia učebných textov informatiky a informačných technológií
|
| Témata: | |
| ISBN: | 8022724491 |
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
MARC
| LEADER | 00000aam a2200000 4500 | ||
|---|---|---|---|
| 003 | SK-BrCVT | ||
| 005 | 20220621161435.0 | ||
| 008 | 061212s2006 xo e ||||||slo d | ||
| 020 | |a 8022724491 | ||
| 035 | |a CVTIDW1384552 | ||
| 040 | |b slo |a CVTI SR |e AACR2 | ||
| 041 | 0 | |a slo | |
| 044 | |a xo | ||
| 080 | |a 510.6 |2 UDC-MRF | ||
| 100 | 1 | |a Kvasnička, Vladimír |d 1924-, |4 aut | |
| 245 | 1 | 0 | |a Matematická logika / |c Vladimír Kvasnička, Jiří Pospíchal |
| 250 | |a 1. vyd. | ||
| 260 | |a Bratislava : |b Slovenská technická univerzita v Bratislave, |c 2006 | ||
| 300 | |a 389 s. : |b grafy, lit., obr., tab. ; | ||
| 490 | 1 | |a Edícia učebných textov informatiky a informačných technológií | |
| 653 | 1 | |a výroková logika |a logický neurón |a sémantické tablo |a metóda rezolventy |a predikátová logika |a modálna logika | |
| 700 | 1 | |a Pospíchal, Jiří |d 1961-, |4 aut | |
| 760 | 1 | |t Edícia učebných textov informatiky a informačných technológií | |
| 910 | |b A599857 - A599861 |b A600968 | ||
| 919 | |a 80-227-2449-1 | ||
| 974 | |f Knihy | ||
| 992 | |a AUV | ||
| 999 | |c 142208 |d 142208 | ||