Normal view MARC view ISBD view

Extensional Gödel functional interpretation : (Record no. 180999)

MARC details
000 -LEADER
fixed length control field	00830cam a2200241 4500
001 - CONTROL NUMBER
control field	000487769
003 - CONTROL NUMBER IDENTIFIER
control field	AM-YeHGA
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20210831144523.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	730301s1973 \|\|\|\|\|\| \|\|b\|\|\|\|000\|0\|eng\|\|
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	0387061193 (New York)
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	Luckhardt, Horst.
245 10 - TITLE STATEMENT
Title	Extensional Gödel functional interpretation :
Remainder of title	A consistency proof of classical analysis /
Statement of responsibility, etc.	Horst Luckhardt.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Berlin
--	New York :
Name of publisher, distributor, etc.	Springer-Verlag,
Date of publication, distribution, etc.	1973.
300 ## - PHYSICAL DESCRIPTION
Extent	vi, 161 p. ;
Dimensions	26 cm.
490 1# - SERIES STATEMENT
Series statement	Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann
Volume/sequential designation	Vol. 306
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note	Bibliogr.: p. 157-161.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Proof theory
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Intuitionistic mathematics
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title	Lecture notes in mathematics (Springer-Verlag) ;
Volume/sequential designation	306.

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/3345	901003345	28/12/2016	Գրքեր/Books	ILL Non-Circ.