A formalization of set theory without variables (Record no. 31871)

000 -LEADER
fixed length control field 00692nmm a2200193Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230426s9999||||xx |||||||||||||||||und||
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781470431877 (online)
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Tarski, Alfred.
245 #2 - TITLE STATEMENT
Title A formalization of set theory without variables
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Providence, R.I. :
Name of publisher, distributor, etc. American Mathematical Society,
Date of publication, distribution, etc. c1987.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xxi, 318 p. : ill.)
490 ## - SERIES STATEMENT
Series statement Colloquium Publications,
Volume/sequential designation v. 41
International Standard Serial Number 2473-3946 ;
500 ## - GENERAL NOTE
General note Includes indexes.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Bibliography: p. 273-282.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Set theory.
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Givant, Steven R.
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/http://dx.doi.org/10.1090/coll/041">https://doi.org/http://dx.doi.org/10.1090/coll/041</a>
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
      Accessible Online ICTS ICTS 04/26/2023 EBK22844 04/26/2023 https://doi.org/http://dx.doi.org/10.1090/coll/041 04/26/2023 electronic book