Frege´s sequent calculus

Author:

Schroeder-Heister, Peter

Tübinger Autor(en):

Published 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

Language:

English

DDC Classifikation:

004 - Data processing and computer science

Dokumentart:

Article

This item appears in the following Collection(s)