Your search for 24086 returns 1579 document(s) |
Natural deduction: a proof-theoretical study/ Da Prawitz |
Author: Prawitz, Dag; | Call Number: 162 Pra n | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mathematical programming: an introduction to the design and applications of optimal decision machines/ Claude Jr Macmillan |
Author: McMillan, Calude Jr.; | Call Number: 519.3 Mcm m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mathematical programming and the numerical solution of linear equations/ Bert W. Rust |
Author: Rust, Bert W.; | Call Number: 515.45 Rus m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mathematical logic |
Author: Kleene, Stephen Cole; | Call Number: 511.3 Kle m | 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 |
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic for computer computer scientist |
Author: Schoning, Uwe; | Call Number: 511.3 Sch l | 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
|
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
|
Symbolic game of logic |
Author: Corroll, Lewis; | Call Number: 511.3 Car s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|