Screen LibraryHandbook of the history of logic. Volume 9, Computational logic /
Saved in:
| Group Author: | ; ; |
|---|---|
| Published: |
North Holland,
|
| Publisher Address: | Amsterdam, The Netherlands : |
| Publication Dates: | 2014. |
| Literature type: | Book |
| Language: | English |
| Series: |
Handbook of the history of logic ;
9 |
| Subjects: | |
| Carrier Form: | xii, 734 pages : illustrations ; 25 cm. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: |
9780444516244 (hardback) : 0444516247 (hardback) |
| Index Number: | QA76 |
| CLC: | B81-09 |
| Call Number: | B81-09/H236/v.9 |