Your search for 5596 returns 1992 document(s) |
Mathematical logic for computer science 3rd ed. |
Author: Ben-Ari Mordechai; | Call Number: 511.3 Ben m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mathematical logic for computer science second edition |
Author: Ben-Ari, Mordechai; | Call Number: 511.3 Ben m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symobolic logic 5th ed/ Irving M. Copi |
Author: Copi, Irving M.; | Call Number: 511.3 Cop s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The logic of programming |
Author: Hehner, C.R.; | Call Number: 005.1 Heh l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic and its Applications/ Edmund Burke and Eric Foxley |
Author: Burke, Edmund; | Call Number: 511.3 Bur i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic logic and mechanical theorem proving/ Chin-Liang Chang |
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori |
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mtahematical logic:a course with exercises part I: propositional calculus, boolean, algebras, predicate calculus |
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The role of language in problem solving 1/ edited proceedings of the symposium held at the johns hopkins University applied physics laboratory laurel, Maryland, 29-31 October, 1984 |
Call Number: 005.13 Rol | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
problem solving and eduction: issues in teaching and research/ edited by David T. Tuma |
Call Number: 370.152 4 Pro | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|