Goal-directed proof theory
Saved in:
Main Authors: | |
---|---|
Group Author: | |
Published: |
Kluwer Academic,
|
Publisher Address: | Dordrecht Boston |
Publication Dates: | 2000. |
Literature type: | Book |
Language: | English |
Series: |
Applied logic series ; v. 21 |
Subjects: | |
Carrier Form: | x, 266 p.: ill. ; 25 cm. |
ISBN: | 0792364732 (hb : alk. paper) |
Index Number: | O141 |
CLC: | O141.2 |
Call Number: | O141.2/G112 |
Contents: | Includes bibliographical references and index. |