Natural Deduction Bottom Up

DSpace Repository

Natural Deduction Bottom Up

Author: Zimmermann, Ernst
Tübinger Autor(en):
Zimmermann, Ernst
Published in: Journal of Logic Language and Information (2021), Bd. 30, H. 3, S. 601-631
Verlagsangabe: Dordrecht
Language: English
Full text: http://dx.doi.org/10.1007/s10849-021-09329-8
ISSN: 0925-8531
DDC Classifikation: 004 - Data processing and computer science
400 - Language and Linguistics
800 - Literature and rhetoric
610 - Medicine and health
300 - Social sciences, sociology and anthropology
Dokumentart: Artikel
Show full item record

This item appears in the following Collection(s)