Advances in Natural Deduction

Format:

e-book

Title:

Advances in Natural Deduction

Author:

Pereira, Luiz Carlos; Haeusler, Edward Hermann; de Paiva, Valeria; Haeusler, Edward

Language:

English

Publisher:

Springer Netherlands 2014

ISBN:

94-007-7547-4
94-007-7548-2

Permalink:

http://bibtest.howest.be/catalog/ebk03:3710000000092914?locale=en