Búsqueda

Resultados 1 - 1 de 1

Resultados de búsquedas

1. Reductive Logic and Proof-search. Proof Theory, Semantics, and Control
D. Pym et al
Oxford University Press
E-ISBN: 9780191712012 ISBN: 9780198526339