Frege's Sequent Calculus

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9788379691616
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: 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

Schlagwort
Logik ; Beweistheorie ; Sequenzenkalkül

Ereignis
Veröffentlichung
(wo)
Tübingen
(wer)
Universitätsbibliothek Tübingen
(wann)
2022
Urheber

URN
urn:nbn:de:bsz:21-dspace-1309643
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:25 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Entstanden

  • 2022

Ähnliche Objekte (12)

Freges Philosophie nach Frege

Aufsatzsammlung

Freges Philosophie nach Frege

Frege

Akten

Frege

Frege

Akten

Frege

Frege

Aufsatzsammlung

Frege

Frege

Akten

Frege

Personalia J. F. Heinrich Francke, C. Frege, G. Frege, K. A. Frege

Akten

Personalia J. F. Heinrich Francke, C. Frege, G. Frege, K. A. Frege

Understanding Frege’s notion of presupposition

Understanding Frege’s notion of presupposition

Salmón, Schiffer and Frege’s Constraint

Salmón, Schiffer and Frege’s Constraint

Frege, Therese

Sonstiges

Frege, Therese

Gottlob Frege

Gottlob Frege

Droop & Frege

Archivale

Droop & Frege

Frege-Stiftung

Akten

Frege-Stiftung

Verbundene Objekte