Truth, Deduction and Computation: logic and semiantics for computer science

By: Davis ,Ruth EMaterial type: Text

TextPublication details: 1989 Edition: .NADescription: xv,265ISBN: 0-7167-8201-4Subject(s): Computer Science | Computer science, information & general works

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
BOOKS	UITU	005.13 DAV (Browse shelf(Opens below))	Available		Q3866

There are no comments on this title.

to post a comment.