Search results
- Průvodce předmětem Matematika I. (První část), Úlohy z logiky, teorie množin a ze základů matematické analýzy / Renáta Cabrnochová, Otakar Prachař . Pardubice : Univerzita Pardubice, 2003 . 259 s.
- Matematické důkazy / Rüdiger Thiele ; z něm. orig. Mathematische Beweise, přeložili Alois Kufner a Štefan Schwabik . Praha : Státní nakladatelství technické literatury, 1985 160 stran
- Číslicové počítače / Jan Blatný ... [et al.] . Praha : Státní nakladatelství technické literatury, 1982 . 493 s.
- Matematika a logika : retrospektiva a perspektivy / Mark Kac, Stanislaw M. Ulam ; přeložil Vlastimil Mikoláš . Praha : Státní nakladatelství technické literatury, 1977 . 160 s.
- Úvod do logiky a metodologie deduktivních věd / Alfred Tarski ; [z anglického originálu ... přeložil Pavel Materna] . Praha : Academia, 1969 . 245 s.
- Logika, jazyk a věda / Bertrand Russell ; výbor sestavili a z anglických originálů přeložili K. Berka a L. Tondl ; předmluvu napsal a bibliografii a rejstřík sestavil K. Berka . Praha : Svoboda, 1967 279 stran
- Úvod do logiky a metodologie deduktivních věd / Alfred Tarski ; z anglického originálu ... Introduction to logic and to the methodology of deductive sciences ... přeložil Pavel Materna . Praha : Academia, nakladatelství Československé akademie věd, 1966 245 stran
- Zajímavá logika : sbírka řešených příkladů s úvodem do výrokového a třídového kalkulu / Otakar Zich, Arnošt Kolman. . Praha : Mladá fronta, 1965 . 157 s.
- Logický podklad matematických úsudků / Karel Hruša . Praha : Přírodovědecké nakladatelství, 1950 . 36 s.
- Úvod do filosofie matematiky / Otakar V. Zich . V Praze : Jednota československých matematiků a fysiků, 1947 171 stran