Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Reductive Logic and Proof-search

Reductive Logic and Proof-search

- Proof Theory, Semantics, and Control

av David J. ( Pym

del av Oxford Logic Guides-serien

Reductive Logic and Proof-search av David J. ( Pym
Om Reductive Logic and Proof-search

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780198526339
  • Format:
  • Inbunden
  • Sidor:
  • 232
  • Utgiven:
  • 29 April 2004
  • Mått:
  • 162x242x18 mm.
  • Vikt:
  • 480 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 30 Juli 2024

Om David J. ( Pym

Se alla böcker av David J. ( Pym

Beskrivning av Reductive Logic and Proof-search

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.

Användarnas betyg av Reductive Logic and Proof-search



Andra köpte även...
Hitta liknande böcker
Boken Reductive Logic and Proof-search finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.