Forcing with random variables and proof complexity/ (Record no. 33795)

MARC details
000 -LEADER
fixed length control field 01233n a2200337#a 4500
001 - CONTROL NUMBER
control field 34889
003 - CONTROL NUMBER IDENTIFIER
control field P5A
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20231124142114.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100823s2011 enka b 001 0 eng||
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2010036194
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521154338 (pbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521154332 (pbk.)
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)664450704
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Language of cataloging eng
Transcribing agency DLC
Modifying agency IG#
-- INU
-- UKMGB
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number K89f
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES
IMPA CODE FOR CLASSIFICATION SHELVES Lógica e Fundamentos 02-Lógica Matemática e Funções Recursivas.
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Krajícek, Jan.
245 10 - TITLE STATEMENT
Title Forcing with random variables and proof complexity/
Statement of responsibility, etc. Jan Krajicek.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge, UK;
-- New York:
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. 2011.
300 ## - PHYSICAL DESCRIPTION
Extent xvi, 247 p.:
Other physical details ill.;
Dimensions 23 cm.
490 1# - SERIES STATEMENT
Series statement London Mathematical Society lecture note series;
Volume/sequential designation 382
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references (p. 236-242) and indexes.
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computational complexity.
9 (RLIN) 43792
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Random variables
9 (RLIN) 37421
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematical analysis.
9 (RLIN) 43440
697 ## - LOCAL SUBJECT
Local Subject Lógica e Fundamentos 02-
Description subdivision Lógica Matemática e Funções Recursivas.
Linkage 23728
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title London Mathematical Society lecture note series;
Volume/sequential designation 382.
9 (RLIN) 7320
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Cover image
Uniform Resource Identifier <a href="http://assets.cambridge.org/97805211/54338/cover/9780521154338.jpg">http://assets.cambridge.org/97805211/54338/cover/9780521154338.jpg</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Instituto de Matemática Pura e Aplicada
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
    Dewey Decimal Classification     Livros (Books) Castorina Castorina Estantes Abertas (Open Shelves) 2013-01-10   511.3 K89f 2011 IMPA 39063000666258 2022-12-02 1 2022-12-02 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha