Handbook of the history of logic / 9 Computational logic / volume editor, Dov M. Gabbay, Jörg H. Siekmann, John Woods
Saved in:
| Other Authors: | , , |
|---|---|
| Format: | Book/Monograph |
| Language: | English |
| Published: |
Amsterdam]
Elsevier
2014
|
| Series: | Handbook of the history of logic
9 |
| In: |
Handbook of the history of logic
|
| Volumes / Articles: | Show Volumes / Articles. |
| Subjects: | |
| Online Access: | Verlag, Volltext: http://www.sciencedirect.com/science/handbooks/18745857/9 Verlag, lizenzpflichtig: https://www.sciencedirect.com/science/handbooks/18745857/9 Verlag, lizenzpflichtig: https://www.sciencedirect.com/science/book/9780444516244 Verlag, Zentralblatt MATH, Inhaltstext: https://zbmath.org/?q=an:1311.03006 |
| Author Notes: | ed. by Dov M. Gabbay ... |
| Item Description: | Print version record |
|---|---|
| Physical Description: | Online Resource |
| ISBN: | 9780080930671 0080930670 1322477175 9781322477176 |