| Your search for 9203 returns 2435 document(s) |
| 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
|
| Mathematical logic for computer science |
|
Author: Ben-Ari, M.; | Call Number: 511.3 Ben m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Mathematical introduction to logic/ Herbert B. Enderton |
|
Author: Enderton, Herbert B.; | Call Number: 511.3 End m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Mathematical theory of program correctness/ Jaco de Bakker |
|
Author: Baker, Jaco de; | Call Number: 005.3 Bak m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to mathematical reasoning/ Boris Iglewicz |
|
Author: Iglewicz, Boris; | Call Number: 511.3 Igl i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Elements of the theory of computation |
|
Author: Lewis, Harry R.; | Call Number: 511 Lew e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic based decision support: mixed integer model formulation |
|
Author: Jeroslow, Robert G.; | Call Number: 658.403 Jer l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result