Normal view MARC view ISBD view

Proof theory and intuitionistic systems / (Record no. 169934)

MARC details
000 -LEADER
fixed length control field	00768cam a2200241 4500
001 - CONTROL NUMBER
control field	000462219
003 - CONTROL NUMBER IDENTIFIER
control field	AM-YeHGA
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20210831142714.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	710916s1971 \|\|\|\|\|\|\|\|\|b\|\|\|\|000\|0\|eng\|d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	354005541X
040 ## - CATALOGING SOURCE
Original cataloging agency	AM-YeHGA
Transcribing agency	AM-YeHGA
041 0# - LANGUAGE CODE
Language code of text/sound track or separate title	eng
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Scarpellini, Bruno
245 10 - TITLE STATEMENT
Title	Proof theory and intuitionistic systems /
Statement of responsibility, etc.	Bruno Scarpellini.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Berlin ;
--	New York :
Name of publisher, distributor, etc.	Springer-Verlag,
Date of publication, distribution, etc.	1971.
300 ## - PHYSICAL DESCRIPTION
Extent	vii, 290, [1] p.
Dimensions	26 cm.
490 1# - SERIES STATEMENT
Series statement	Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann
Volume/sequential designation	212
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note	Bibliogr.: p. 291
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Intuitionistic mathematics
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Proof theory
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title	Lecture notes in mathematics (Springer-Verlag) ;
Volume/sequential designation	212.

Holdings
Withdrawn status	Lost status	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
				Gulbenkian Individual Collection	Fundamental Scientific Library	Fundamental Scientific Library	28/12/2016	Gulb/3084	901003084	28/12/2016	Գրքեր/Books	ILL Non-Circ.