Truth, deduction, and computation: logic and semantics for computer science

Free Download

Authors:

Series: Advanced Book Program

ISBN: 9780716782018, 0716782014

Size: 12 MB (12524452 bytes)

Pages: 281/281

File format:

Language:

Publishing Year:

Category:

R. E. Davis9780716782018, 0716782014

Davis R.E. Truth, deduction, and computation (Computer Science Press, 1989)(ISBN 0716782014)(files)

Reviews

There are no reviews yet.

Be the first to review “Truth, deduction, and computation: logic and semantics for computer science”
Shopping Cart
Scroll to Top