Zobrazeno 1 - 10
of 155
pro vyhledávání: '"Heister, Peter"'
Autor:
Piecha, Thomas, author, Schroeder-Heister, Peter, author
Publikováno v:
Dialogische Logik. :91-125
Autor:
Schroeder-Heister, Peter
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2019 Feb 01. 107(1), 7-9.
Externí odkaz:
https://www.jstor.org/stable/45096838
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2019 Feb 01. 107(1), 1-5.
Externí odkaz:
https://www.jstor.org/stable/45096837
Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
Autor:
Schroeder-Heister, Peter
Publikováno v:
The Bulletin of Symbolic Logic, 2002 Jun 01. 8(2), 246-265.
Externí odkaz:
https://www.jstor.org/stable/2693965
Publikováno v:
Journal of Philosophical Logic, 2015 Jun 01. 44(3), 321-335.
Externí odkaz:
http://www.jstor.org/stable/24564085
Autor:
Schroeder-Heister, Peter
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2014 Dec 01. 102(6), 1185-1216.
Externí odkaz:
https://www.jstor.org/stable/43649685
Autor:
Schroeder-Heister, Peter
Publikováno v:
Synthese, 2012 Aug 01. 187(3), 925-942.
Externí odkaz:
https://www.jstor.org/stable/41682368
Autor:
Schroeder-Heister, Peter
Publikováno v:
Journal of Philosophical Logic, 2011 Feb 01. 40(1), 95-101.
Externí odkaz:
https://www.jstor.org/stable/41487504
Publikováno v:
Synthese, 2006 Feb 01. 148(3), 503-506.
Externí odkaz:
https://www.jstor.org/stable/20118706