Handbook of the history of logic / 9 Computational logic / volume editor, Dov M. Gabbay, Jörg H. Siekmann, John Woods
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Dokumenttyp: | Book/Monograph |
| Sprache: | Englisch |
| Veröffentlicht: |
Amsterdam]
Elsevier
2014
|
| Schriftenreihe: | Handbook of the history of logic
9 |
| In: |
Handbook of the history of logic
|
| Volumes / Articles: | Show Volumes / Articles. |
| Schlagworte: | |
| Online-Zugang: | 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 
|
| Verfasserangaben: | ed. by Dov M. Gabbay ... |
| Beschreibung: | Print version record |
|---|---|
| Beschreibung: | Online Resource |
| ISBN: | 9780080930671 0080930670 1322477175 9781322477176 |