Advances in Natural Deduction
de Luiz Carlos Pereira, Edward Haeusler, Valeria de Paiva
Materias
Ediciones (3)
- Advances in Natural Deduction (2016)
Springer · ISBN 9789402406870
- Advances in Natural Deduction (2014)
Springer Netherlands · inglés · ISBN 9789400775473
- Advances in Natural Deduction (2014)
Springer London, Limited · inglés · ISBN 9789400775480