| Your search for 24086 returns 1579 document(s) |
| Mathematical foundations of programming/ F.S. Beckman |
|
Author: Beckman, Frank S.; | Call Number: 519.4 Bec 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
|
| Introduction to logic programming |
|
Author: Hogger, Christopher John; | Call Number: 004.61 Hog i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of inductive reasoning/ Ronald Christensen |
|
Author: Christensen, Ronald; | Call Number: 006.3 Chr f | 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
|
| 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 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
|
Search Result