Natural Deduction Bottom Up

DSpace Repositorium (Manakin basiert)

Natural Deduction Bottom Up

Autor(en): Zimmermann, Ernst
Tübinger Autor(en):
Zimmermann, Ernst
Erschienen in: Journal of Logic Language and Information (2021), Bd. 30, H. 3, S. 601-631
Verlagsangabe: Dordrecht
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1007/s10849-021-09329-8
ISSN: 0925-8531
DDC-Klassifikation: 004 - Informatik
400 - Sprache, Linguistik
800 - Literatur, Rhetorik, Literaturwissenschaft
610 - Medizin, Gesundheit
300 - Sozialwissenschaften, Soziologie, Anthropologie
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: