en
|
de
Department of Computer Science
University of Innsbruck
Home
Research
Teaching
Members
Events
News
Teaching
lectures
bachelor projects
master projects
software
Logic
overview
content
material
news
Logic
bachelor program
VO3 + PS2 SS 2024
703026
+
703027
Additional Material
Week 4
natural deduction tool
by Andreas Schnabl, illustrated in the lecture
Logan
, a modern web-based tool for natural deduction