Basic proof theory / (Գրառման հմ. 377538)

ՄԵԸՔ մանրամասներ
000 -LEADER
fixed length control field	00676nam a2200205 a 4500
001 - CONTROL NUMBER
control field	A30009 17018
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	s1996 000 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	0521572231
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Troelstra, A.S.
245 10 - TITLE STATEMENT
Title	Basic proof theory /
Statement of responsibility, etc.	by A.S. Troelstra, H. Schwichtenberg.
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.	1996.
300 ## - PHYSICAL DESCRIPTION
Extent	xi, 343 p.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title	Cambridge Tracts in Theoretical Computer Science.
500 ## - GENERAL NOTE
General note	Includes bibliographical references and index.
500 ## - GENERAL NOTE
General note	Contents : N-systems and H-systems--Gentzen systems.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Proof theory.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Schwichtenberg, H.

Պահումներ
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 TRO	AUA-PL-0013666	06/05/2017	06/05/2017	Book	76