Research Catalog

Reductive logic and proof-search : proof theory, semantics, and control

Title: Reductive logic and proof-search : proof theory, semantics, and control / David J. Pym and Eike Ritter.
Author: Pym, David J.
Publication: Oxford, UK : Clarendon Press ; New York : Oxford University Press, 2004.

Filter by

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 04-1093	Offsite
Request for On-site Use Request Scan Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.	Text	Use in library	JFE 04-12424	Schwarzman Building - Main Reading Room 315

Additional Authors

Ritter, Eike.

Description

xv, 208 p. : ill.; 24 cm.

Series Statement

Oxford logic guides ; 45

Subjects

Bibliography (note)

Call Number

JFE 04-12424

ISBN

0198526334 (alk. paper)

LCCN

2004049208

OCLC

54865392

Author

Pym, David J.

Title

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

Imprint

Oxford, UK : Clarendon Press ; New York : Oxford University Press, 2004.

Series

Oxford logic guides ; 45

Bibliography

Includes bibliographical references and index.

Added Author

Ritter, Eike.

Research Call Number

JFE 04-12424

JSE 04-1093