Screen LibraryGoal-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. |