Logic for applications /
Additional authors:
Shore, Richard A
Series:
Graduate texts in computer science
99-1232373-4
Edition statement:2. ed
Published by :
Springer
(New York)
Physical details: 456 s.
ISBN:0387948937.
Subject(s):
Computer science
--
Mathematics
|
Logic, Symbolic and mathematical
|
Databehandling Programmering Programspråk
|
Logik
|
Logik
|
Matematisk logik
|
Symbolisk logik
Year: 1997
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Book (loan) | Gräsvik | 005.1 | Available | 40000009429 |
Includes bibliographical references and index
S. 409-438: Bibl