Reductive logic and proof-search [electronic resource] : proof theory, semantics, and control / David J. Pym and Eike Ritter.

By:

Pym, David J

Contributor(s):

Series: Oxford logic guides ; 45.Publication details: Oxford : Clarendon, 2004.Description: 1 online resource (xv, 208 p.) : illISBN:

9780198526339

Subject(s):

Genre/Form:

Electronic books.

Additional physical formats: Print version: No titleDDC classification:

511.3 22

LOC classification:

Online resources:

Click here to access online

Summary: Discusses 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 applications in the computational sciences.

Item type:

eBooks

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Title notes ( 3 )

No physical items for this record

Discusses 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 applications in the computational sciences.

Description based on print version record.

Includes bibliographical references and index.