> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Sonderdruck Titel: Frege's sequent calculus Beteiligte: Schroeder-Heister, Peter [Verfasser:in] Erschienen: Łódź: Łódź University Press, 2014 Erschienen in: Trends in logic XIII : Gentzen's and Jaśkowski's heritage : 80 years of natural deduction and sequent calculi Umfang: 1 Online-Ressource (Seite 233-245) Sprache: Englisch DOI: 10.15496/publikation-72324 Identifikator: Schlagwörter: Logik ; Beweistheorie ; Sequenzenkalkül Entstehung: Anmerkungen: Beschreibung: Frege's logical system as developed in the "Grundgesetze der Arithmetik" can be regarded as a sequent calculus of a specific form. Zugangsstatus: Freier Zugang