Advanced logic for applications
Saved in:
Main Authors: | |
---|---|
Published: |
D. Reidel Pub. Co.,
|
Publisher Address: | Dordrecht, Holland Boston |
Publication Dates: | c1977. |
Literature type: | Book |
Language: | English |
Series: |
Synthese library ; v. 110 |
Subjects: | |
Carrier Form: | xi, 167 p.: ill. ; 23 cm. |
ISBN: | 9027707812 |
Index Number: | O142 |
CLC: | O142 |
Call Number: | O142/G755/ |
Contents: |
Includes indexes. Bibliography: p. [161]-162. |