Menu
Home
Help and information
About this website
Privacy Policy
Gernot Salzer
1 published title
Automated deduction in classical and non-classical logics : selected papers
(Contributor)
1 edition
ISBN: 3540671900
Springer
2000
Details