Start
News
Research
Personal
Projects
deutsch/English
Peter Schroeder-Heister

Publications

I. Logic, Philosophy and Computer Science

  1. Bibliographie Hugo Dingler (1881-1954). Zeitschrift für philosophische Forschung 35 (1981), 283-298. pdf. Leicht korrigierte und aktualisierte Digitalausgabe in: U. Weiß (ed.), Hugo Dingler: Gesammelte Werke auf CD-ROM. Karsten Worm InfoSoftWare: Berlin 2004, Anhang, Kap.Nr. 1980.
  2. Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen. Ph.D. Thesis, Bonn 1981. Download
  3. Logische Konstanten und Regeln. Zur Deutung von Aussagenoperatoren. Conceptus 16 (1982), 45-59. pdf
  4. The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle. Journal of Philosophical Logic 12 (1983), 359-377. pdf
  5. Inversion principles and the completeness of intuitionistic natural deduction systems. Abstracts of the 7th International Congress of Logic, Methodology and Philosophy of Science (Salzburg 1983), Vol. 5, 150-153. pdf (1,1MB)
  6. Popper's theory of deductive inference and the concept of a logical constant. History and Philosophy of Logic 5 (1984), 79-110. pdf
  7. Freges Permutationsargument. Zu §10 der "Grundgesetze der Arithmetik". In: G. Wechsung (ed.), Frege Conference 1984. Proceedings of the International Conference held at Schwerin (GDR), September 10-14, 1984. Berlin: Akademie-Verlag 1984, 182-188. pdf
  8. A natural extension of natural deduction. Journal of Symbolic Logic 49 (1984), 1284-1300. pdf
  9. Generalized rules for quantifiers and the completeness of the intuitionistic operators &, v, ->, f, 'all', 'exists'. In: M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas (eds.), Computation and Proof Theory. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II. Berlin/Heidelberg/New York/Tokyo: Springer Lecture Notes in Mathematics, Vol. 1104, 1984, 399-426. pdf
  10. Natural deduction calculi with rules of higher levels (Abstract). Journal of Symbolic Logic 50 (1985), 275-276. pdf
  11. Proof-theoretic validity and the completeness of intuitionistic logic. In: G. Dorn, P. Weingartner (eds.), Foundations of Logic and Linguistics: Problems and Their Solutions. New York/London: Plenum Press 1985, 43-87. pdf
  12. (With K. Došen) Conservativeness and uniqueness. Theoria 51 (1985), 159-173. pdf
  13. (With J. Mittelstraß) Zeichen, Kalkül, Wahrscheinlichkeit. Elemente einer Mathesis universalis bei Leibniz. In: H. Stachowiak (ed.), Pragmatik. Handbuch pragmatischen Denkens. Bd. I. Pragmatisches Denken von den Ursprüngen bis zum 18. Jahrhundert. Hamburg: Meiner 1986, 392-414. pdf
  14. Structural Frameworks with Higher-Level Rules. Philosophical Investigations on the Foundations of Formal Reasoning. (Habilitationsschrift.) Konstanz 1987. ps | pdf
  15. A model-theoretic reconstruction of Frege's permutation argument. Notre Dame Journal of Formal Logic 28 (1987), 69-79. pdf
  16. (With K. Došen) A general interpolation and definability theorem (Abstract). Journal of Symbolic Logic 52 (1987), 315-316. pdf
  17. Judgements of higher levels in Martin-Löf's logical theory (Abstract). Journal of Symbolic Logic 52 (1987), 1083. pdf
  18. (With F. Schaefer) Der strukturalistische Reduktionsbegriff und Repräsentationen von Theorien. In: P. Weingartner, G. Schurz (eds.), Logik, Wissenschafstheorie und Erkenntnistheorie. Akten des 11. Internationalen Wittgenstein Symposiums, 4.-13. 8. 1986, Kirchberg/Wechsel (Österreich), Wien: Hölder-Pichler-Tempsky 1987, 230-233. pdf
  19. (With K. Došen) Uniqueness, definability and interpolation. Journal of Symbolic Logic 53 (1988), 554-570. pdf
  20. (With F. Schaefer) Reduction, representation and commensurability of theories. Philosophy of Science 56 (1989), 130-157. pdf
  21. (With Lars Hallnäs) Logic programming with higher-level rules (Abstract). Journal of Symbolic Logic 54 (1989), 656-657. pdf
  22. Judgements of higher levels and the completeness of logical constants in Martin-Löf´s logical system. In: P. Dybjer et al. (eds.), Proceedings of the Workshop on Programming Logic. Programming Methodology Group, University of Göteborg, Report 54, 1989, 494-519. pdf (3,2MB)
  23. (With Lars Hallnäs) A proof-theoretic approach to logic programming. I. Clauses as rules. Journal of Logic and Computation 1 (1990), 261-283. pdf
  24. (With Lars Hallnäs) A proof-theoretic approach to logic programming. II. Programs as definitions. Journal of Logic and Computation 1 (1991) 635-660. pdf
  25. Uniform proof-theoretic semantics for logical constants (Abstract). Journal of Symbolic Logic 56 (1991), 1142. pdf
  26. Structural frameworks, substructural logics and the role of elimination inferences. In: G. Plotkin, G. Huet (eds.), Logical Frameworks. Cambridge University Press, 1991, 385-403. Draft: ps | pdf
  27. Hypothetical reasoning and definitional reflection in logic programming. In: P. Schroeder-Heister (ed.), Extensions of Logic Programming. International Workshop, Tübingen, FRG, December 1989, Proceedings. Springer Lecture Notes in Artificial Intelligence, Bd. 475, Berlin/Heidelberg/New York 1991, 327-340. pdf
  28. (With Lars Hallnäs) Local reflection in inductive definitions: The D-rule (Abstract). Journal of Symbolic Logic 57 (1992), 300. pdf
  29. Cut-elimination in logics with definitional reflection. In: D. Pearce, H. Wansing (eds.), Nonclassical Logics and Information Processing. International Workshop, Berlin, November 1990, Proceedings. Springer Lecture Notes in Artificial Intelligence, Bd. 619, Berlin/Heidelberg/New York 1992, 146-171. pdf
  30. Rules of definitional reflection. In: Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science (Montreal 1993), Los Alamitos 1993, 222-232. pdf
  31. Definitional reflection and the completion. In: R. Dyckhoff (ed.), Extensions of Logic Programming. Fourth International Workshop, St. Andrews, Scotland, April 1993, Proceedings. Springer Lecture Notes in Artificial Intelligence, Bd. 798, Berlin/Heidelberg/New York 1994, 333-347. pdf
  32. Cut elimination for logics with definitional reflection and restricted initial sequents. Proceedings des Post-Conference Workshop of ICLP 1994 on Proof-Theoretic Extensions of Logic Programming. Draft: ps | pdf
  33. (With J. Hudelmaier) Classical Lambek Logic. In: P. Baumgartner, R. Hähnle, J. Posegga (eds.), Theorem Proving with Analytic Tableaux and Related Methods. 4th International Workshop, TABLEAUX '95 (St. Goar, May 7-10, 1995), Springer LNAI, Bd. 918, 247-262. pdf
  34. Frege and the resolution calculus. History and Philosophy of Logic 18 (1997), 95-108. pdf
  35. Popper's Theorie der Wahrscheinlichkeit. In: H. Keuth (ed.), Klassiker auslegen: Poppers "Logik der Forschung". Akademie-Verlag, Berlin, 1998 (2. Aufl. 2004), 185-213. Offprint request
  36. (With J. Hudelmaier) The history of automated deduction and logic programming. In: D. Gabbay and J. Woods (eds.), The Handbook of the History of Logic (in preparation).
  37. Gentzen-style features in Frege. Abstracts of the 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, Poland (August 1999), Cracow: 1999, p. 449. ps | pdf
  38. (With P. Contu) Reasoning with Definitions and Lemmata, in preparation.
  39. Operative Logik und Logikprogrammierung. In: C. F. Gethmann (ed.), Konstruktive Logik. Ergebnisse der Tagung in Bad Neuenahr - Ahrweiler (18./19. 11. 1999), in preparation.
  40. Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen. The Bulletin of Symbolic Logic 8 (2002), pp. 246-265. Printed version: ps | pdf. Extended version: ps | pdf
  41. Popper's inferential definitions of logical constants (Abstract). Karl Popper 2002 - Centenary Congress (Vienna, 3-7 July 2002). ps | pdf
  42. Definitional reflection and circular reasoning. In: E. Álvarez, R. Bosch & L. Villamil (eds.), Abstracts of the 12th International Congress of Logic, Methodology and Philosophy of Science (Oviedo, Spain, August 7-13, 2003), Oviedo 2003, 126-128. Abstract: ps | pdf
  43. On the Notion of Assumption in Logical Systems. Paper submitted for the GAP5 meeting in Bielefeld (22 to 26 September 2003). Abstract: pdf. Extended Summary: pdf. Full paper in: R. Bluhm & C. Nimtz (eds.), Selected Papers Contributed to the Sections of GAP5, Fifth International Congress of the Society for Analytical Philosophy, Bielefeld, 22-26 September 2003, Paderborn: mentis 2004, 27-48. Full paper: pdf. Online-publication of the conference volume: http://www.gap5.de/proceedings/
  44. (With P. Contu) Folgerung. In: W. Spohn, P. Schroeder-Heister and E. Olsson (eds.), Logik in der Philosophie, Heidelberg: Synchron Wissenschaftsverlag, 2005, 247-276. Offprint request
  45. K. F. Wehmeier & P. S.-H., Frege's Permutation Argument Revisited. In: B. Buldt, V. Halbach, R. Kahle (eds.), Reflections on Frege and Hilbert. Synthese 147 (2005), 43-61. pdf
  46. Begründungsrationalität und Logik. In: M. Carrier, G. Wolters (eds.), Homo Sapiens und Homo Faber: Epistemische und technische Rationalität in Antike und Gegenwart. Festschrift für Jürgen Mittelstraß, Berlin: de Gruyter 2005, 285-296. Offprint request
  47. Generalized Rules, Direct Negation, and Definitional Reflection. Abstract submitted for the 1st World Congress on Universal Logic (UNILOG 2005), (Montreux, Switzerland). ps | pdf
  48. Popper's structuralist theory of logic. In: I. Jarvie, K. Milford & D. Miller (eds.), Karl Popper: A Centenary Assessment. Vol. III: Science. Ashgate Publishing: Aldershot 2006, 17-36. Draft: ps | pdf
  49. Validity Concepts in Proof-Theoretic Semantics. In: R. Kahle, P. Schroeder-Heister (eds.), Proof-Theoretic Semantics. Synthese 148 (2006), 525-571. pdf
  50. Assertion and Denial in Proof-Theoretic Semantics. Paper submitted for the GAP.6 conference in Berlin (11.-14.9.2006). Abstract: pdf. Extended Summary: pdf
  51. Lorenzens operative Logik und moderne beweistheoretische Semantik. In: J. Mittelstraß (ed.), Der Konstruktivismus in der Philosophie im Ausgang von Wilhelm Kamlah und Paul Lorenzen. Paderborn: Mentis 2007, 167-196. Draft: pdf
  52. Generalized Definitional Reflection and the Inversion Principle. Logica Universalis 1 (2007), 355-376. pdf
  53. Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition. Proceedings of the International Congress on the Square of Opposition (Montreux, June 1-3, 2007). pdf
  54. Proof-Theoretic versus Model-Theoretic Consequence. In: M. Peliš (ed.), The Logica Yearbook 2007, Prague: Filosofia 2008, 187-200. Draft: pdf
  55. Lorenzen's operative justification of intuitionistic logic. In: M. van Atten, P. Boldini, M. Bourdeau, G. Heinzmann (eds.), One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference, Basel: Birkhäuser 2008, 214-240 (References [for whole volume] 391-416). pdf
  56. (with J. Mittelstraß) Nicholas Rescher on Greek Philosophy and the Syllogism. In: R. Almeder (ed.), Rescher Studies. A Collection of Essays on the Philosophical Work of Nicholas Rescher Presented to Him on the Occasion of His 80th Birthday. Frankfurt: Ontos 2008, 211-240. Draft: pdf
  57. Sequent Calculi and Bidirectional Natural Deduction: On the Proper Basis of Proof-Theoretic Semantics. In: M. Peliš (ed.), The Logica Yearbook 2008, London: College Publications 2009. pdf

II. Psychology

  1. G. Heister & P. S.-H.: A note on location of the decisional stages of choice reactions in the left hemisphere. Cortex 20 (1984), 271-275. pdf
  2. G. Heister & P. S.-H.: S-R compatibility effect or cerebral laterality effect. Comments on a controversy. Neuropsychologia 23 (1985), 427-430. pdf
  3. G. Heister, W. Ehrenstein & P. S.-H.: Spatial S-R compatibility with two-finger choice reactions (Abstract). Perception 15 (1986), A33.
  4. G. Heister, W. Ehrenstein & P. S.-H.: Spatial S-R compatibility effects with unimanual two-finger choice reactions for prone and supine hand positions. Perception & Psychophysics 40 (1986), 271-278. pdf
  5. G. Heister, W. Ehrenstein & P. S.-H.: Spatial S-R compatibility with unimanual two-finger choice reactions: Effects of irrelevant stimulus location. Perception & Psychophysics 42 (1987), 195-201. pdf
  6. G. Heister & P. S.-H.: Evidence for stimulus-response compatibility effects in a divided visual field study of cerebral lateralization. Acta Psychologica 66 (1987), 127-138. pdf
  7. G. Heister, P. S.-H. & W. Ehrenstein: Spatial stimulus-response (S-R) compatibility under head tilt: Evidence for a factorial model (Abstract). Perception 16 (1987), A17b.
  8. P. S.-H., G. Heister & W. Ehrenstein: Spatial S-R compatibility under head tilt. Acta Psychologica 69 (1988), 35-44. pdf
  9. W. Ehrenstein, P. S.-H. & G. Heister: Spatial visuo-motor compatibility with orthogonal stimulus-response arrangement (Abstract). Perception 17 (1988), A77b (p. 415).
  10. W. Ehrenstein, P. S.-H. & G. Heister: Spatial S-R compatibility with orthogonal stimulus-response relationship. Perception & Psychophysics 45 (1989), 215-220. pdf
  11. G. Heister, T. Landis, M. Regard & P. S.-H.: Shift of visual half-field superiority for face perception during the menstrual cycle (Abstract). Behavioral Brain Research 33 (1989), 314.
  12. G. Heister, T. Landis, M. Regard & P. S.-H.: Shift of functional cerebral asymmetry during the menstrual cycle. Neuropsychologia 27 (1989), 871-880. pdf
  13. G. Heister, P. S.-H. & W. Ehrenstein: Spatial coding and spatio-anatomical mapping: Evidence for a hierarchical model of spatial S-R compatibility. In: R. W. Proctor, T. G. Reeve (eds.), Stimulus-Response Compatibility: An Integrated Perspective. Amsterdam: North-Holland 1990, 117-143. pdf
  14. G. Heister & P. S.-H.: Spatial S-R compatibility: Positional instruction vs. compatibility instruction. Acta Psychologica 85 (1994), 15-24. pdf

III. Editions

  1. (With G. Wolters) Der wissenschaftliche Nachlaß von Hugo Dingler (1881-1954). Verzeichnis mit einer Bibliographie der Schriften Dinglers. Konstanz 1979. Digitalausgabe in: U. Weiß (ed.), Hugo Dingler: Gesammelte Werke auf CD-ROM. Karsten Worm InfoSoftWare: Berlin 2004, Anhang, Kap.Nr. 1986 und 1987.
  2. Proceedings of the SNS Logic Colloquium, March 1990. SNS-Berichte. Tübingen 1990. pdf (5,4MB)
  3. Extensions of Logic Programming. International Workshop, Tübingen, FRG, December 1989, Proceedings. Springer Lecture Notes in Artificial Intelligence, Vol. 475, Berlin/Heidelberg/New York 1991. Preface and Table of Contents: pdf
  4. (With L.-H. Eriksson and L. Hallnäs) Extensions of Logic Programming. Second International Workshop, ELP '91, Stockholm, Sweden, January 1991, Proceedings. Springer Lecture Notes in Artificial Intelligence, Vol. 596, Berlin/Heidelberg/New York 1992. Preface and Table of Contents: pdf
  5. (With K. Došen) Substructural Logics. Oxford University Press 1993. Preface and Table of Contents: pdf
  6. (With R. Dyckhoff and H. Herre) Extensions of Logic Programming. Fifth International Workshop, ELP '96, Leipzig, Germany, March 1996, Proceedings. Springer Lecture Notes in Artificial Intelligence, Vol. 1050, Berlin/Heidelberg/New York 1996. Preface and Table of Contents: pdf
  7. (With R. Kahle and R. Stärk), Proof Theory in Computer Science. International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings. Springer Lecture Notes in Computer Science, Vol. 2183, Berlin/Heidelberg/New York 2001. Preface and Table of Contents: pdf
  8. (With W. Spohn and E. Olsson), Logik in der Philosophie, Synchron Wissenschaftsverlag: Heidelberg 2005, Table of Contents and Introduction: Offprint request
  9. (With R. Kahle), Proof-Theoretic Semantics, Special issue of Synthese, 2006. Table of Contents and Introduction: pdf

IV. Book Reviews, Encyclopedia Articles, Miscellaneous

  1. Ca. 45 articles in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 1 (A-G), Mannheim/Wien/Zürich 1980, e.g.: arbor porphyriana; Bayessches Theorem (with K. Mainzer); Bertrandsche Paradoxie; Bewertungssemantik; Condorcet, A. (with H.-L. Nastansky); definit/Definitheit; Funktionalinterpretation; Gehalt, empirischer; Gentzen, G.; Grelling, K. Offprint request
  2. Review of R. H. Wettstein, Eine Gegenstandstheorie der Wahrheit. Argumentativ-rekonstruierender Aktualisierungs- und Erweiterungsversuch von Kants kritischer Theorie (Königstein/Ts. 1980). Dialectica 35 (1981), 361-362. pdf
  3. Review of: M. D. Resnik, Frege and the Philosophy of Mathematics (Ithaca/London 1980). History and Philosophy of Logic 4 (1983), 99-102. pdf
  4. Ca. 80 articles in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 2 (H-O), Mannheim/Wien/Zürich 1984, e.g.: intern/extern (with J. Mittelstraß); Interpretationssemantik; Kalkül des natürlichen Schließens; Kontinuumhypothese; Konzeptualismus (with S. Blasche and R. Wimmer); Kreisel, G.; Kripke, S. A.; Lambda-Kalkül; Logik, dialektische; Logik, induktive; Logik, kombinatorische; Logik, mehrwertige; Logik des "Entailment"; Lügner-Paradoxie; Menge; Mengenlehre; Mengenlehre, axiomatische; Meßtheorie; Normalform; Notation, logische; Oppenheim, P. Offprint request
  5. Review of: E.-H. W. Kluge, The Metaphysics of Gottlob Frege. An Essay in Ontological Reconstruction (The Hague/Boston/London 1980). History and Philosophy of Logic 5 (1984), 241-245. pdf
  6. Review of: G. Currie, Frege. An Introduction to His Philosophy (Brighton/Totowa N.J. 1982). History and Philosophy of Logic 5 (1984), 239-241. pdf
  7. Review article on: G. Frege, Collected Papers on Mathematics, Logic, and Philosophy (B. McGuinness, ed., Oxford/New York 1984). History and Philosophy of Logic 7 (1986), 187-193. pdf
  8. (With U. Friedrichsdorf) Review of: G. E. Hughes & M. J. Cresswell, A companion to modal logic (London 1984). Journal of Semantics 4 (1985), 389-390. pdf
  9. Review of: W. Schüler, Grundlegungen der Mathematik in transzendentaler Kritik. Frege und Hilbert (Hamburg 1983). Journal of Symbolic Logic 54 (1989), 622. pdf
  10. 10 Short Reviews in: Mathematical Reviews (3x1988, 2x1989, 3x1990, 1x1991, 1x1994).
  11. Entry "Schließen, natürliches" in: J. Ritter & K. Gründer (Hrsg.), Historisches Wörterbuch der Philosophie, Band 8, Basel/Darmstadt 1992, 1300-1303. pdf
  12. Review of: M. Detlefsen, Proof and Knowledge in Mathematics (London/New York 1992). History and Philosophy of Logic (in preparation).
  13. Entry "Selbstreferenz" (I. Logik) in: J. Ritter & K. Gründer (Hrsg.), Historisches Wörterbuch der Philosophie, Band 9, Basel/Darmstadt 1995, 515-516. Offprint request
  14. (With H. Herre) Formal languages and systems. Routledge Encyclopedia of Philosophy, London 1998. ps | pdf
  15. Ca. 40 articles in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3 (P-So), Stuttgart/Weimar 1995, e.g.: Paradoxien der Implikation, Popper [see below], Principia Mathematica, Programmiersprachen, Psychophysik (with G. Heister), Quasireihe, Reduktionssatz (with M. Carrier), Regellogik, Signifikanz, Skinner (with G. Heister). Offprint request
  16. Entry "Popper" in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3, Stuttgart/Weimar 1995, 289-296. Offprint request
  17. Ca. 30 articles in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4 (Sp-Z), Stuttgart/Weimar 1996, e.g.: Statistik, Stufenlogik, Termlogik, Test (with G. Heister), Urelement, Verweistheorie, Vollformalismus, Weber-Fechnersches Gesetz (with G. Heister), Widerspruchsfreiheitsbeweis, Zufallsgenerator, zulässig/Zulässigkeit. Offprint request
  18. Ein Logik-Lotse geht von Bord: Zur Verabschiedung des Naturwissenschaftlers und Philosophen Walter Hoering. Schwäbisches Tagblatt, 4. 12. 1998, S. 27. pdf (1,3MB)
  19. Entry "Popper" in: Neue Deutsche Biographie, ed. Historische Kommission bei der Bayerischen Akademie der Wissenschaften, Bd. 20, Duncker & Humblot: Berlin 2001, 625-628. Offprint request
  20. Review of: G. Frege, Idéographie (Traduction, Paris 1999). Isis 91 (2000).
  21. Nachruf auf Prof. Dr. Walter Felscher. Tübinger Universitätsnachrichten, 9. April 2001 · Jahrgang 21 · Nr.100. html
  22. Entry "Popper, Karl Raimund" in: International Encyclopedia of the Social and Behavioral Sciences, Elsevier, 2001. ps | pdf
  23. Ca. 50 articles in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, 2. Aufl., Bde. 1 & 2 (A-F), Stuttgart/Weimar 2005, e.g.: Baum (logisch-mathematisch), Bunge, Dummett [see below], exponibilia, Fuzzy Logic. Offprint request
  24. Entry "Dummett, M.A.E." in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, 2. Aufl., Bd. 2 (C-F), Stuttgart/Weimar 2005, 258-262. Offprint request
  25. Nachruf auf Prof. Dr. Gisbert Hasenjaeger (1.6.1919-2.9.2006). Chronik und Bericht der Rheinischen Friedrich-Wilhelms-Universität Bonn über das Akademische Jahr 2005/2006, 57-59 (den Gepflogenheiten des Publikationsorgans entsprechend nichtgezeichneter, auf einer Vorlage von P.S.-H. beruhender Beitrag). Offprint request
  26. Entry "Verhältnis/Beziehung" in: P. Kolmer/A.G. Wildfeuer (eds.), Neues Handbuch philosophischer Grundbegriffe (in Vorbereitung).

Curriculum vitae
© Arbeitsbereich Logik und Sprachtheorie 2001-09