Κανονική προβολή Προβολή MARC Προβολή ISBD

Semantics and logics of computation edited by Andrew M. Pitts, Peter Dybjer - Cambridge Cambridge University Press 1997 - xii, 361 p. fig. 24 cm. - Publications of the Newton Institute 14 .

Includes bibliographical references and index

ISBN: 0521580579

Subjects--Topical Terms:
Επιστήμη των υπολογιστών--Μαθηματικά

Dewey Class. No.: 004.151