Mathematical logic in computer science
Saved in:
Corporate Author: | Bolyai Janos Mathematikai Tarsulat |
---|---|
Other Authors: | Domolki, B, Gergely, T. Tamas |
Format: | Book |
Published: |
msterdam
North-Holland Pub. Co.
1981
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Mathematical aspects of logic programming semantics
by: Hitzler, Pascal
Published: (2011) -
Foundations of logic programming
by: Lloyd, J. W. (John Wylied1947-
Published: (1984) -
Programming logics an introduction to verification and semantics
by: Gumb, Raymond D
Published: (1989) -
The logic of partial information
by: Nait Abdallah, Areski 1950-
Published: (1995) -
Introduction to the theory of programming languages
by: Meyer, Bertrand 1950-
Published: (1990)