| Your search for 612 returns 671 document(s) |
| Logics of time and computation |
|
Author: Goldblatt, Robert; | Call Number: 160 Gol l | 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
|
| 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
|
| 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
|
| 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
|
| Introduction to logic programming |
|
Author: John Hogger, Christopher; | Call Number: 005.115 Joh i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A new introduction to modal logic |
|
Author: Hughes, G.E.; | Call Number: 160 Hug n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic in computer science:Modelling and reasoning about systems 2nd ed. |
|
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result