Search again

Found: 5  Titles

Order by :    Show:   Per Page
image
David Makinson on classical methods for non-classical problems Sven Ove Hansson, editor.
Author
Hansson, Sven Ove,
Published
Dordrecht : Springer, c2014.
Call Number
Ebook

image
Discrete structures, logic, and computability / James L. Hein.
Author
Hein, James L.
Published
Boston : Jones and Bartlett, c1995.
Call Number
QA76 H4d
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

image
Elementary logics : a procedural perspective / Dov Gabbay.
Author
Gabbay, Dov.
Published
London : Prentice Hall Europe, c1998.
Call Number
QA76 G23e
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

image
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum.
Published
Oxford : Clarendon Press, c1992.
Call Number
QA76 H29
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

image
The essence of logic / John J. Kelly.
Author
Kelly, John J.
Published
London : Prentice Hall, c1997.
Call Number
QA76 K4e
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

Search Tools: Get RSS Feed
Style Switcher
Theme Colors

Layout Styles