First-order programming theories
By: by Tamás Gergely and László Úry.
Contributors: Úry, László.
Series: EATCS monographs on theoretical computer science -- v. 24
Publisher: Springer-Verlag
Published: 1991
Place of publication: Berlin; New York
Language: eng
Subjects: Electronic digital computers -- Programming.
Notes: Includes bibliographical references and index.