Lambda-isčislenije : jego sintaksis i semantika

Saved in:
Bibliographic Details
Main Author: Barendregt, Hendrik Pieter, 1947- (Author)
Format: Book
Language:Russian
Published: Moskva : Mir, 1985
Genre/form:monografie
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Status Sublibrary Description Location LCC Callnumber Old Callnumber
Open stacks; for loan NTK collection 6th floor, shelf 6C/199 QA9 .5 .B37 1985 A 19979