Reading Length
Home
Speed Tests
Login
Richard Waldinger
Identifiers
Open Library
OL2670009A
Top Subjects
Computer programming (1)
Logic, symbolic and mathematical (1)
Books by Richard Waldinger
Total count: 2
The Logical Basis for Computer Programming
Deductive Systems (Addison-Wesley Series in Computer Science)
Addison-Wesley Pub (Sd)
1990-01-01
Logcl Basis Cmpt Prog V1
Pearson Education, Limited
2008-01-01