Reductive logic and proof-search: Proof theory, semantics, and control
David J. Pym, Eike Ritter
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences
Anno:
2004
Edizione:
1
Casa editrice:
Clarendon Press
Lingua:
english
Pagine:
227
ISBN 10:
0198526334
ISBN 13:
9780198526339
Collana:
Oxford Logic Guides 045
File:
PDF, 1.81 MB
IPFS:
,
english, 2004
Amazon 
Barnes & Noble 
Bookshop.org 
Converti i file
Più risultati di ricerca
Altri vantaggi 
![Dirk Roorda — Resource Logics: Proof-theoretical Investigations [PhD Thesis]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/72b161a20f832f80002a3e7c048807bc93453ff1d990d5748b7399cff7be0ec0.jpg)
![Morten Heine Sørensen, Paweł Urzyczyn — Lectures on the Curry-Howard Isomorphism [unpub. notes]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/5ab804f497577192370ddd93071c70635c26c446488d6a5562488f8245194ad6.jpg)
