Normal view MARC view ISBD view

Logic for computer scientists

Material type: materialTypeLabel

BookSeries: Progress in computer science and applied logic.Publisher: Boston: Birkhauser, 1989Description: 166 p.; ill.: 24 cm.ISBN: 0817634533 .Subject(s): Logic, Symbolic and mathematical | Logic programmingDDC classification: 511.3

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

Item type	Current location	Call number	Status	Date due	Barcode
Books		511.3 SCH (Browse shelf)	Available		023516

Previous								Next
Previous	511.3 ROT Journey into mathematics: An introduction to proofs	511.3 SAC Mathematical logic in the twentieth century	511.3 SAN Introduction to computation : Haskell, logic and automata	511.3 SCH Logic for computer scientists	511.3 SCH Chapter zero : fundamental notions of abstract mathematics	511.3 SHA Partial Differential Equations for Engineers and Scientists	511.3 SHO Mathematical logic	Next

There are no comments for this item.

Koha online