Cover Image

First-order programming theories /

Show other versions (2)
Bibliographic Details
Main Author: Gergely, T. (Tamás)
Corporate Author: SpringerLink (Online service)
Other Authors: Úry, László, 1953-
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, [1991]
Series:EATCS monographs on theoretical computer science ; v. 24.
Subjects:
Computer programming.
Programmation (Informatique)
Logica e semantica de programacao.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:ix, 351 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages [335]-340) and index.
ISBN:0387299866
9780387299860
DOI:10.1007/978-0-387-29986-0