Frege´s sequent calculus

dc.contributor.author	Schroeder-Heister, Peter
dc.date.accessioned	2017-07-13T13:28:49Z
dc.date.available	2017-07-13T13:28:49Z
dc.date.issued	2014
dc.identifier.uri	http://hdl.handle.net/10900/77034
dc.language.iso	en	de_DE
dc.publisher	Lódz University Press	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.title	Frege´s sequent calculus	de_DE
dc.type	Article	de_DE
utue.publikation.seiten	233-245	de_DE
utue.personen.roh	Schroeder-Heister, Peter
dcterms.isPartOf.ZSTitelID	Trends in Logic XIII: Gentzen´s and Jáskowski`s heritage - 80 years of natural deduction and sequent calculi	de_DE