Reductive Logic and Proof-search. Proof Theory, Semantics, and Control
- Título:
- Reductive Logic and Proof-search. Proof Theory, Semantics, and Control
- Materia:
- Mathematics ; Logic ; Computer Science ; Mathematical Philosophy Mathematics
- Editor:
- Oxford University Press
- Identificadores:
- E-ISBN: 9780191712012 ISBN: 9780198526339
- Colección:
- Oxford University Press