Basic type theory / (Գրառման հմ. 377537)

ՄԵԸՔ մանրամասներ
000 -LEADER
fixed length control field	00742nam a2200205 a 4500
001 - CONTROL NUMBER
control field	A30009 17017
003 - CONTROL NUMBER IDENTIFIER
control field	dti
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20170506185354.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	s1997 000 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	0521465184
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Hindley, J. Roger.
245 10 - TITLE STATEMENT
Title	Basic type theory /
Statement of responsibility, etc.	by J. Roger Hindley.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Cambridge, N.Y. :
Name of publisher, distributor, etc.	Cambridge University Press,
Date of publication, distribution, etc.	1997.
300 ## - PHYSICAL DESCRIPTION
Extent	xi, 186 p.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title	Combridge Tracts in Theoretical Computer Science ; No. 42.
500 ## - GENERAL NOTE
General note	Includes bibliographical references and index.
500 ## - GENERAL NOTE
General note	Contents : Assigning types to terms--The principal -type algorithm--Type assignment with equality.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Programming languages (Electronic computers).
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Type theory.

Պահումներ
Withdrawn status	Lost status	Damaged status	Not for loan	Collection code	Home library	Current library	Date acquired	Total Checkouts	Full call number	Barcode	Date last seen	Price effective from	Koha item type	Public note
				Ընթերցասրահ	American University Library of Armenia	American University Library of Armenia	06/05/2017		005.13 HIN	AUA-PL-0013665	06/05/2017	06/05/2017	Book	76