- Publication services
- →
- TOBIAS-lib - Publikationen und Dissertationen
- →
- 7 Mathematisch-Naturwissenschaftliche Fakultät
- →
- Browsing 7 Mathematisch-Naturwissenschaftliche Fakultät by DDC Classification « back
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing 7 Mathematisch-Naturwissenschaftliche Fakultät by DDC Classification "100"
Now showing items 1-20 of 43
-
(2018-11-07); PhDThesis
-
(2017-07); ConferenceObject
-
(2012); Article; Jean-Yves Béziau and Gillman Payette (eds.), The Square of Opposition: A General Framework for Cognition. Bern: Peter Lang 2012, pp. 323-349
-
(2017); Article; Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications 2017, pp. 185-200
-
(2005); Article; Logik in der Philosophie, hrsg. v. Wolfgang Spohn, Peter Schroeder-Heister und Erik J. Olsson. Heidelberg: Synchron Wissenschaftsverlag der Autoren 2005, S. 247-276
-
(2020-09-03); PhDThesis
-
(2014); Article; Trends in Logic XIII. Gentzen's and Jaśkowski's Heritage. 80 Years of Natural Deduction and Sequent Calculi. Ed. by Andrzej Indrzejczak, Janusz Kaczmarek and Michał Zawidzki. Łódż University Press 2014, pp. 233-245
-
(2012); Article; Michal Peliš & Vít Punčochář (eds.), The Logica Yearbook 2011. London: College Publications 2012, pp. 211-225
-
(1989); Article; Proceedings of the Workshop on Programming Logic, Båstad, Sweden, 21-26 May 1989. Ed. by Peter Dybjer, Lars Hallnäs, Bengt Nordström, Kent Petersson and Jan M. Smith. Programming Methodology Group, University of Göteborg and Chalmers University of Technology 1989, Report 54, pp. 494-517
-
(2012); WorkingPaper
-
(2012); WorkingPaper; ---
-
(2012); WorkingPaper
-
(2012); WorkingPaper
Now showing items 1-20 of 43