Co víte o moderní logice
Populárně vědecká práce, která představuje úvod do moderní formální logiky, se omezuje pouze na základní oblasti logiky, její pojmy, pravidla a zákony. Uvádí krátký historický nástin logiky, zabývá se výrokovou a predikátovou logikou, odvozováním, axiomatizací, základy teorie množin, přirozenou dedukcí a aplikací logiky v teorii … celý popis
Uloženo v:
Podrobná bibliografie
- Hlavní autor
- Další autoři
- Typ dokumentu
- Knihy
- Fyzický popis
- 326 s. : tab.
- Vydáno
-
Praha :
Horizont,
1981
- Edice
- Malá moderní encyklopedie ;
sv.93
- Témata
Instituce
- Česká národní banka - odborná knihovna
- Husova knihovna Říčany
- Jihočeská vědecká knihovna v Českých Budějovicích
- Knihovna Akademie věd ČR
- Knihovna Bedřicha Beneše Buchlovana Uherské Hradiště
- Knihovna Eduarda Petišky Brandýs nad Labem
- Knihovna Jiřího Mahena v Brně
- Knihovna Kroměřížska
- Knihovna města Hradce Králové
- Knihovna města Plzně
- Knihovna Národního archivu
- Knihovna Petra Bezruče v Opavě
- Knihovna Ústeckého kraje
- Krajská knihovna Františka Bartoše ve Zlíně
- Krajská knihovna Karlovy Vary
- Krajská knihovna v Pardubicích
- Krajská knihovna Vysočiny
- Krajská vědecká knihovna v Liberci
- Městská knihovna Česká Lípa
- Městská knihovna Frýdek-Místek
- Městská knihovna Holešov
- Městská knihovna Jaroměř
- Městská knihovna Mariánské Lázně
- Městská knihovna Most
- Městská knihovna Ústí nad Orlicí
- Městská knihovna ve Svitavách
- Městská knihovna Znojmo
- Městské muzeum a knihovna Čáslav
- Moravská zemská knihovna v Brně
- Moravskoslezská vědecká knihovna v Ostravě
- Národní knihovna ČR
- Národní lékařská knihovna (aktuální záznam)
- Pedagogická knihovna J. A. Komenského
- Souborný katalog ČR
- Středočeská knihovna v Kladně
- Studijní a vědecká knihovna Plzeňského kraje
- Studijní a vědecká knihovna v Hradci Králové
- Univerzita Palackého v Olomouci
- Vědecká knihovna v Olomouci
- Vysoká škola ekonomická v Praze