Search results
- 1.0405311 - UIVT-O 330682 DE eng R - Book Review
Hájek, Petr - van Dalen, D.
Recenze.
[MENZEL-TROTT, E.: Gentzens Problem. Mathematische Logik im Nationalsozialistischen Deutschland. Basel, Birkhauser Verlag 2001, 411 p. ISBN 3-7643-6574-9]. The Mathematical Intelligencer. Roč. 26, č. 4 (2004), s. 64-66. ISSN 1866-7414
Institutional research plan: CEZ:AV0Z1030915
Keywords : Getzen
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125484 - 2.0404069 - UIVT-O 20000195 PL eng R - Book Review
Hájek, Petr
Recenze.
[GRIM, O.; MAR, G.; DENIS, P.S.: The Philosophical Computer. Exploratory Essays in Philosophical Computer Modeling. The MIT Press 1998]. Bulletin of Symbolic Logic. Cambridge University Press. Roč. 6, - (2000), s. 347-349. ISSN 1079-8986. E-ISSN 1943-5894
Institutional research plan: AV0Z1030915
Permanent Link: http://hdl.handle.net/11104/0124342File Download Size Commentary Version Access a0404069.pdf 0 275.5 KB Publisher’s postprint require - 3.0402834 - UIVT-O 200970 CZ cze R - Book Review
Hájek, Petr
Recense.
[BOURBAKI, N.: Éléments de Mathématique, Fasc. XXII: Théorie des ensembles, Chap. 4: Structures (Hermann, Paris 1966)]. Časopis pro pěstování matematiky. Roč. 94, č. 4 (1969), s. 491-493. ISSN 0528-2195
http://dml.cz/handle/10338.dmlcz/117673
Permanent Link: http://hdl.handle.net/11104/0123210File Download Size Commentary Version Access CasPestMat_094-1969-4_5.pdf 0 3.1 MB Publisher’s postprint open-access - 4.0402820 - UIVT-O 200016 eng R - Book Review
Hájek, Petr - Zach, R.
Review.
[BOLC, L.; BOROWIK, P.: Many-Valued Logics: 1. Theoretical Foundations, Berlin: Springer, 1991]. Journal of Applied Non-Classical Logics. Roč. 4, č. 2 (1994), s. 215-220
Permanent Link: http://hdl.handle.net/11104/0123196File Download Size Commentary Version Access 402820-h.pdf 2 540.7 KB Publisher’s postprint require