Normal view MARC view ISBD view

The computational complexity of logical theories / (Record no. 210297)

MARC details
000 -LEADER
fixed length control field	00857nam a2200253 u 4500
001 - CONTROL NUMBER
control field	000547644
003 - CONTROL NUMBER IDENTIFIER
control field	AM-YeHGA
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20210831153051.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	070814s1979 gw r 000 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	0387095012
040 ## - CATALOGING SOURCE
Original cataloging 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	Ferrante, Jeanne,
Dates associated with a name	1949-
245 14 - TITLE STATEMENT
Title	The computational complexity of logical theories /
Statement of responsibility, etc.	Jeanne Ferrante, Charles W. Rackoff.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Berlin ;
--	New York :
Name of publisher, distributor, etc.	Springer-Verlag,
Date of publication, distribution, etc.	1979.
300 ## - PHYSICAL DESCRIPTION
Extent	x, 243 p. :
Other physical details	ill. ;
Dimensions	24 cm.
490 1# - SERIES STATEMENT
Series statement	Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann
Volume/sequential designation	718
500 ## - GENERAL NOTE
General note	Includes index
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note	Bibliogr.: p. [234]-238.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Predicate calculus
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Computational complexity
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Rackoff, Charles W.,
Dates associated with a name	1948-
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title	Lecture notes in mathematics (Springer-Verlag) ;
Volume/sequential designation	718

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Collection code	Home library	Current library	Date acquired	Full call number	Barcode	Date last seen	Non-public note	Koha item type	Public note
					Gulbenkian Individual Collection	Fundamental Scientific Library	Fundamental Scientific Library	28/12/2016	Gulb/5420	901005420	28/12/2016	Donation from Galouste Gulbenkian foundation	Գրքեր/Books	ILL Non-Circ.