Research Catalog

Proof theory and automated deduction

Title
Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie.
Author
Goubault-Larrecq, Jean.
Publication
Dordrecht ; Boston : Kluwer Academic, [1997], ©1997.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextRequest in advance QA9.54 .G68 1997Off-site

Holdings

Details

Additional Authors
Mackie, I. (Ian)
Description
xv, 424 pages : illustrations; 25 cm.
Series Statement
Applied logic series ; v. 6
Uniform Title
Applied logic series ; v. 6.
Subject
  • Proof theory
  • Automatic theorem proving
Bibliography (note)
  • Includes bibliographical references (p. 407-413) and index.
ISBN
0792345932 (alk. paper)
LCCN
97018876
OCLC
  • 36841601
  • ocm36841601
Owning Institutions
Columbia University Libraries