Normalization, cut-elemention and the theory of proofs / (Գրառման հմ. 376732)

ՄԵԸՔ մանրամասներ
000 -LEADER
fixed length control field	00643nam a2200193 a 4500
001 - CONTROL NUMBER
control field	A30009 16025
003 - CONTROL NUMBER IDENTIFIER
control field	dti
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20170506185320.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	s1992 000 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	0937073830
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Ungar, A.M.
245 10 - TITLE STATEMENT
Title	Normalization, cut-elemention and the theory of proofs /
Statement of responsibility, etc.	by A.M. Ungar.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Stanford, Calif. :
Name of publisher, distributor, etc.	Center for the Study of Language and Information,
Date of publication, distribution, etc.	1992.
300 ## - PHYSICAL DESCRIPTION
Extent	v, 236 p.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title	CSLI Lecture Notes ; No. 28.
500 ## - GENERAL NOTE
General note	Includes bibliographical references and index.
500 ## - GENERAL NOTE
General note	Contents : Background--Comparing NJ with LJ.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Proof 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		511.3 UNG	AUA-PL-0012641	06/05/2017	06/05/2017	Book	76