Keywords:
Algebraic logic
;
Fixed point theory
;
Lattice theory
;
Machine theory
;
Monotonic functions
;
Predicate calculus
;
Datenverarbeitung
;
Mathematische Logik
Type of Medium:
Online Resource
Pages:
Online-Ressource
,
xvii, 277 p
,
ill
,
23 cm
Edition:
1st ed
ISBN:
0444506209
,
9780444506207
Series Statement:
Studies in logic and the foundations of mathematics v. 146
URL:
http://www.sciencedirect.com/science/book/9780444506207
URL:
https://zbmath.org/?q=an:0968.03002
Language:
English
Note:
Includes bibliographical references (p. [269]-273) and index