Advances in Natural Deduction

Full text!
Type:
e-book
Titel:
Advances in Natural Deduction
Auteur:
Pereira, Luiz Carlos; Haeusler, Edward Hermann; de Paiva, Valeria; Haeusler, Edward
Taal:
Engels
Uitgever:
Springer Netherlands 2014
ISBN:
94-007-7547-4
94-007-7548-2
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000000092914