Cover image
Normal view MARC view ISBD view

Mathematical logic and programming languages /

Series: (Prentice-Hall international series in computer science). Published by : Prentice-Hall Int., (Englewood Cliffs, N.J. : ) Physical details: 184 p. ISBN: 0135614651 . Subject(s): Logic, -- Symbolic and mathematical. Year: 1985
Reviews from LibraryThing.com:
Tags from this library:
No tags from this library for this title.
Log in to add tags.
Item type Location Call number Status Date due
3 Weeks Loan 3 Weeks Loan
Turkeyen Campus
Science & Technology
QA94 M38 (Browse shelf) Available
3 Weeks Loan 3 Weeks Loan
Turkeyen Campus
Science & Technology
QA94 M38 (Browse shelf) Available

Papers were 1st published in the Philosophical Transaction of the Royal Society, Series A, v 312, 1984.

Includes bibliographical references.

180618

180619

There are no comments for this item.

Log in to your account to post a comment.