Alta reperibilità
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
Proof Theory, Semantics, And Control
- Editore:
OXFORD UNIV PR
- Collana:
- Oxford Logic Guides
- EAN:
9780198526339
- ISBN:
0198526334
- Pagine:
- 232
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti