Search

People
Research
Courses
Events
Publications
Contact

© Algorithms and Complexity Group

TU Wien

Latest

Axioms as rules in intuitionistic logic
Talk with Nina Gierasimczuk

Disclosure (§25 Austrian Media Act): The owner of this website is the Institute of Logic and Computation at TU Wien, 1040 Vienna. TU Wien assumes no responsibility for the content of external websites linked from this site. – Disclaimer · Privacy Policy

Cite

Copy Download