First-order programming theories
By: Tamás Gergely, László Úry.
Contributors: Úry, László, 1953-
Series: EATCS monographs on theoretical computer science ;; v. 24
Publisher: Springer-Verlag
Published: 1991
Place of publication: Berlin; New York
Language: eng
Number of pages: 351
Subjects: Computer programming
Notes: Includes bibliographical references (p. [335]-340) and index.