Natural Deduction Bottom Up

dc.contributor.author	Zimmermann, Ernst
dc.date.accessioned	2022-08-16T12:09:11Z
dc.date.available	2022-08-16T12:09:11Z
dc.date.issued	2021
dc.identifier.issn	0925-8531
dc.identifier.uri	http://hdl.handle.net/10900/130955
dc.language.iso	en	en
dc.publisher	Dordrecht	de_DE
dc.relation.uri	http://dx.doi.org/10.1007/s10849-021-09329-8
dc.subject.ddc	004	de_DE
dc.subject.ddc	400	de_DE
dc.subject.ddc	800	de_DE
dc.subject.ddc	610	de_DE
dc.subject.ddc	300	de_DE
dc.title	Natural Deduction Bottom Up	de_DE
dc.type	Article	de_DE
utue.quellen.id	20220404000000_02376
utue.publikation.seiten	601-631	de_DE
utue.personen.roh	Zimmermann, Ernst
dcterms.isPartOf.ZSTitelID	Journal of Logic Language and Information	de_DE
dcterms.isPartOf.ZS-Issue	3	de_DE
dcterms.isPartOf.ZS-Volume	30	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät