Schroeder-Heister, Peter Joseph, 1953-....
Schroeder-Heister, Peter 1953-....
Schroeder-Heister, Peter Joseph
Schroeder-Heister, Peter
Schroeder-Heister, Peter (Peter Joseph), 1953-
Peter Schroeder-Heister
VIAF ID: 24691294 ( Personal )
Permalink: http://viaf.org/viaf/24691294
Preferred Forms
- 100 0 _ ‡a Peter Schroeder-Heister
- 200 _ | ‡a Schroeder-Heister ‡b Peter ‡f 1953-....
-
-
- 100 1 _ ‡a Schroeder-Heister, Peter Joseph
- 100 1 _ ‡a Schroeder-Heister, Peter Joseph
- 100 1 _ ‡a Schroeder-Heister, Peter Joseph, ‡d 1953-
-
- 100 1 _ ‡a Schroeder-Heister, Peter Joseph, ‡d 1953-....
-
- 100 1 _ ‡a Schroeder-Heister, Peter ‡d 1953-
-
4xx's: Alternate Name Forms (36)
5xx's: Related Names (3)
- 510 2 _ ‡a Eberhard Karls Universität Tübingen ‡e Affiliation
- 510 2 _ ‡a Eberhard Karls Universität Tübingen
- 510 2 _ ‡a Philosophie : Bonn
Works
Title | Sources |
---|---|
Advances in Proof-Theoretic Semantics | |
Begründungsrationalität und Logik | |
Cut elimination in logics with definitional reflection | |
Extensions of logic programming international workshop, Tübingen, FRG, December 8 - 10, 1989 ; proceedings | |
Folgerung | |
Freges Permutationsargument. Zu §10 der "Grundgesetze der Arithmetik" | |
Frege's Sequent Calculus | |
Iéna ou Sedan? | |
Implications as Rules in Dialogical Semantics | |
Judgements of Higher Levels and Standardized Rules for Logical Constants in Martin-Löf's Theory of Logic | |
Kosta Došen 1954–2017 Obituaries | |
Laurentii Heisteri Programma quo ad lectiones suas hybernas philiatros invitat, atque simul iniquum Lipsensium judicium de nova suarum institutionum chirurgicarum editione latina amstelodamensi in commentariis suis novis de rebus in scientia naturali et medicina gestis relatum retundit atque enervat. | |
Logic and philosophy of science in Nancy : selected contributed papers from the 14th International Congress of logic, methodology and philosophy of science. | |
logical writings of Karl Popper | |
Logik in der Philosophie | |
Nicholas Rescher on Greek Philosophy and the Syllogism | |
Paradoxes and Structural Rules | |
Philosophia scientiae. Travaux d'histoire et de philosophie des sciences = Studien zur Wissenchaftsgeschichte und -philosophie = Studies in history and philosophy of sciences | |
Proceedings of the SNS logic colloquium, March 1990 | |
Proof-theoretic harmony and the levels of rules: Generalised non-flattening results | |
Proof-Theoretic Harmony: The Issue of Propositional Quantification | |
Proof-theoretic Validity Based on Elimination Rules | |
Proof-theoretic versus Model-theoretic Consequence | |
Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings | |
PTCS 2001 | |
Resolution and the Origins of Structural Reasoning Early Proof-Theoretic Ideas of Hertz and Gentzen (Extended Version) | |
Schluss und Umkehrschluss Ein Beitrag zur Definitionstheorie | |
Significant Abstracts and Extended Summaries 1983-2012 | |
Structural Frameworks with Higher-Level Rules Philosophical Investigations on the Foundations of Formal Reasoning | |
strukturalistische Reduktionsbegriff und Repräsentationen von Theorien | |
Substructural logics | |
Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen | |
Walter Felscher (1931-2000). Nachruf | |
Walter Hoering (1933- 2019). Grabrede und Nachruf | |
wissenschaftliche Nachlass von Hugo Dingler (1881-1954). Verzeichnis mit einer Bibliographie der Schriften Dinglers | |
Zeichen, Kalkül, Wahrscheinlichkeit. Elemente einer Mathesis universalis bei Leibniz |