Výsledky vyhledávání
- 1.0405311 - UIVT-O 330682 DE eng R - Recenze
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
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: Getzen
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125484 - 2.0404069 - UIVT-O 20000195 PL eng R - Recenze
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
Výzkumný záměr: AV0Z1030915
Trvalý link: http://hdl.handle.net/11104/0124342Název souboru Staženo Velikost Komentář Verze Přístup a0404069.pdf 0 275.5 KB Vydavatelský postprint vyžádat - 3.0402834 - UIVT-O 200970 CZ cze R - Recenze
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
Trvalý link: http://hdl.handle.net/11104/0123210Název souboru Staženo Velikost Komentář Verze Přístup CasPestMat_094-1969-4_5.pdf 0 3.1 MB Vydavatelský postprint povolen - 4.0402820 - UIVT-O 200016 eng R - Recenze
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
Trvalý link: http://hdl.handle.net/11104/0123196Název souboru Staženo Velikost Komentář Verze Přístup 402820-h.pdf 2 540.7 KB Vydavatelský postprint vyžádat