| Your search for 5322 returns 1146 document(s) |
| Formal logic: its scope and limits |
|
Author: Jeffrey, Richard C.; | Call Number: 160 Jef f | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal logic: its scope and limits/ Richard Jeffrey |
|
Author: Jeffrey, Richard; | Call Number: 160 Jef f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Deductive logic and Description language/ Frank R. Harrison III |
|
Author: Harrison, Frank R.; | Call Number: 511.3 Har d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for applications second edition: graduate texts in computer science |
|
Author: Nerode, Anil; | Call Number: 005.1 Ner d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| An Introduction to probability and inductive logic/ Ian Hacking |
|
Author: Hacking, Ian; | Call Number: 160 Hac i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic machines & diagrams/ Martin Gardner |
|
Author: Gardner, Martin; | Call Number: 621.395 Gar l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic programming |
|
Call Number: 005.115 Log | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to logic programming through prolog/Michael Spivey |
|
Author: Spivey, J.M.; | Call Number: 005.133 Spi i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Microcomputer structures: an introduction to digital electronic, logic design, and computer architecture |
|
Author: D'Angelo, Henry; | Call Number: 621.391 6 Dan m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result