Search Results

Search again

Search within results

Found: 4 Titles

Order by : Show: Per Page

Select Page | Deselect Page | Export saved(0) | Clear saved(0)

save

Discrete structures, logic, and computability / James L. Hein.

Author

Hein, James L.

Published

Boston : Jones and Bartlett, c1995.

Call Number

QA76 H4d

Location

ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

Book Loading...

save

Elementary logics : a procedural perspective / Dov Gabbay.

Author

Gabbay, Dov.

Published

London : Prentice Hall Europe, c1998.

Call Number

QA76 G23e

Location

ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

Book Loading...

save

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

ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

Book Loading...

save

The essence of logic / John J. Kelly.

Author

Kelly, John J.

Published

London : Prentice Hall, c1997.

Call Number

QA76 K4e

Location

ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ

Book Loading...

Search Tools: Get RSS Feed

Search again

Author

Subject

Publish year

Source Types

Location

Call no LC

Illustrations

Conference publication

Found: 4 Titles

Discrete structures, logic, and computability / James L. Hein.

Elementary logics : a procedural perspective / Dov Gabbay.

Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum.

The essence of logic / John J. Kelly.

About us

Statistics

Recent News

Useful Links

Contact Us