Loading...

Logics of programs

Bibliographic Details
Main Author: rohit Parikh
Format: Printed Book
Language:English
Published: Springer-Verlag 1985
Description
Physical Description:424
ISBN:3-540-15648-8