From sets and types to topology and analysis : towards practicable foundations for constructive mathematics (Record no. 85236)

MARC details
000 -LEADER
fixed length control field 00835 a2200253 4500
003 - CONTROL NUMBER IDENTIFIER
control field CBULib
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240830095257.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 240830b |||||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780198566519
040 ## - CATALOGING SOURCE
Language of cataloging English
Transcribing agency CBULib
Description conventions rda
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA 9.56 Set
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Crosilla, Laura
245 ## - TITLE STATEMENT
Title From sets and types to topology and analysis : towards practicable foundations for constructive mathematics
Statement of responsibility, etc / edited by Laura Crosilla and Peter Schuster
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher, distributor, etc Clarendon Press,
Date of publication, distribution, etc 2005
Place of publication, distribution, etc Oxford :
300 ## - PHYSICAL DESCRIPTION
Extent xix, 350 pages : illustrations
336 ## - CONTENT TYPE
Source rdacontent
Content type term Text |
Content type code txt
337 ## - MEDIA TYPE
Source rdamedia
Media type term Unmediated |
Media type code n
338 ## - CARRIER TYPE
Source rdacarrier
Carrier type term Volume
Carrier type code nc
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
9 (RLIN) 3514
Topical term or geographic name as entry element CONGRESSES
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
9 (RLIN) 3515
Topical term or geographic name as entry element CONSTRUCTIVE MATHEMTICS
700 ## - ADDED ENTRY--PERSONAL NAME
9 (RLIN) 3516
Personal name Schuster, Peter
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type MONOGRAPH
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Permanent Location Current Location Shelving location Date acquired Source of acquisition Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
          CBU-Lusaka Campus CBU- LUSAKA CAMPUS CBU-MAIN LIBRARY, KITWE. General Stacks 08/30/2024 DON-BOOKAID 250.00   QA 9.56 Set 752197 08/30/2024 1 08/30/2024 MONOGRAPH