An edition of Intensional logics for programming (1992)

Intensional logics for programming

by

Cover of: Intensional logics for programming by Martti Penttonen
Preview
Listen Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

Only you can see this

Save Note
Last edited by MARC Bot
July 21, 2024 | History
Edit
An edition of Intensional logics for programming (1992)

Intensional logics for programming

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Clarendon Press, Oxford University Press
Language
English
Pages
219

Previews available in: English

Subjects

Computer programming Electronic digital computers, programming
Edition Availability
Cover of: Intensional logics for programming
Intensional logics for programming
1992, Clarendon Press, Oxford University Press
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references.

Published in
Oxford [England], New York
Series
Studies in logic and computation ;, 1

Classifications

Dewey Decimal Class
005.1/015113
Library of Congress
QA76.6 .I524 1992, , QA76.76 .I524 1992

The Physical Object

Pagination
ix, 219 p. ;
Number of pages
219

Edition Identifiers

Open Library
OL1708499M
Internet Archive
intensionallogic0000unse
ISBN 10
0198537751
LCCN
92010080
OCLC/WorldCat
25632461
LibraryThing
3695909
Goodreads
4911521

Work Identifiers

Work ID
OL17965397W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Download catalog record: RDF / JSON / OPDS |

Wikipedia citation

Copy and paste this code into your Wikipedia page.

{{cite book|author=Martti Penttonen |date=1992 |title=Intensional logics for programming |url=https://archive.org/details/intensionallogic0000unse |publication-place=Oxford [England] |publisher=Clarendon Press |isbn=0-19-853775-1 |lccn=92010080 |oclc=25632461 |ol=1708499M}}