Rajaa
Hakutulokset: 9781107417236
Rajaa
yksi hakutulos.
Proof Analysis
pokkari,
2014,
englanti,
ISBN 9781107417236
This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary …