Normal view MARC view ISBD view

Ламбда-исчисление : (Record no. 36529)

MARC details
000 -LEADER
fixed length control field	01008nam a2200229 a 4500
001 - CONTROL NUMBER
control field	000110418
003 - CONTROL NUMBER IDENTIFIER
control field	AM-YEHGA
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20240826235944.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	950720s1985 ru \|\|\|\|\| \|\|\|\| 00\| 0 rus d
040 ## - CATALOGING SOURCE
Original cataloging agency	AM-YEHGA
041 1# - LANGUAGE CODE
Language code of text/sound track or separate title	rus
Language code of original	eng
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Барендрегт, Хендрик Питер
245 10 - TITLE STATEMENT
Title	Ламбда-исчисление :
Remainder of title	Его синтаксис и семантика /
Statement of responsibility, etc.	Х.П. Барендрегт ; Пер. с англ. Г.Е. Минца ; Под ред. А.С. Кузичева.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Москва :
Name of publisher, distributor, etc.	Мир,
Date of publication, distribution, etc.	1985.
300 ## - PHYSICAL DESCRIPTION
Extent	608 с.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note	Библиогр.: с. 574-586
534 ## - ORIGINAL VERSION NOTE
Introductory phrase	Оригинал на англ. :
Title statement of original	The Lambda Calculus :
Key title of original	Its Syntax and Semantics /
Main entry of original	H.P. Barendregt -
Publication, distribution, etc. of original	Amsterdam New York Oxford : North-Holland Publishing Company : 1981
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Математическая логика
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Минц, Г.Е.
Relator term	пер.
Relationship	trl
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Кузичев, А.С.
Relator term	ред.
Relationship	edt
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme	Universal Decimal Classification
Koha item type	Գրքեր / Books

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Collection code	Home library	Current library	Date acquired	Full call number	Barcode	Date last seen	Koha item type	Public note
		Universal Decimal Classification			General	Fundamental Scientific Library	Fundamental Scientific Library	21/12/2016	PII/534541	FL0164420	21/12/2016	Գրքեր / Books	30 Days Loan
		Universal Decimal Classification			General	Fundamental Scientific Library	Fundamental Scientific Library	21/12/2016	PII/536588	FL0158612	21/12/2016	Գրքեր / Books	30 Days Loan