Frege´s sequent calculus

Autor(en):

Schroeder-Heister, Peter

Tübinger Autor(en):

Erschienen in:

Trends in Logic XIII: Gentzen´s and Jáskowski`s heritage - 80 years of natural deduction and sequent calculi (2014), Bd. , S. 233-245

Verlagsangabe:

Lódz University Press

Sprache:

Englisch

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: