
Computational logic
Başlık:
Computational logic
Yazar:
Gabbay, Dov M., 1945- editor.
Basım Bilgisi:
First edition.
Fiziksel Tanımlama:
1 online resource (737 pages) : illustrations.
Seri:
Handbook of the History of Logic, Volume 9
Notlar:
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.