Peter Schroeder-Heister

Peter Schroeder-Heister (* 2. März 1953 in Düren) ist ein deutscher Logiker. Er ist derzeit Professor für Formale Logik und Sprachphilosophie am Wilhelm-Schickard-Institut für Informatik der Universität Tübingen. Veröffentlicht in Wikipedia
Treffer 1 – 9 von 9 für Suche 'Schroeder-Heister, Peter 1953-', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Lorenzens operative Logik und moderne beweistheoretische Semantik

    Lorenzens operative Logik und moderne beweistheoretische Semantik von Schroeder-Heister, Peter 1953-

    Veröffentlicht 2008
    Artikel Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Cut elimination in logics with definitional reflection

    Cut elimination in logics with definitional reflection von Schroeder-Heister, Peter 1953-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen

    Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen von Schroeder-Heister, Peter 1953-

    Veröffentlicht 1981
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen

    Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen von Schroeder-Heister, Peter 1953-

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Bibliographie Hugo Dingler (1881-1954)

    Bibliographie Hugo Dingler (1881-1954) von Schroeder-Heister, Peter 1953-

    Veröffentlicht 1981

    Volltext öffnen
    Artikel Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Advances in proof-theoretic semantics

    Advances in proof-theoretic semantics

    Veröffentlicht 2016
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    The logical writings of Karl Popper

    The logical writings of Karl Popper

    Veröffentlicht 2022
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  8. 8
    Advances in proof-theoretic semantics

    Advances in proof-theoretic semantics

    Veröffentlicht 2016
    Weitere Verfasser:

    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  9. 9
    The logical writings of Karl Popper

    The logical writings of Karl Popper von Popper, Karl R. 1902-1994

    Veröffentlicht 2022
    Weitere Verfasser:
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: