Intensional and higher-order modal logic (Record no. 21877)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 02148cam a2200493Ia 4500 |
001 - CONTROL NUMBER | |
control field | ocn316568526 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20141103172226.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
fixed length control field | m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr cn||||||||| |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 090320s1975 ne ob 000 0 eng d |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | |
Language of cataloging | eng |
Transcribing agency | OPELS |
Modifying agency | OPELS |
-- | OCLCQ |
-- | OCLCF |
-- | OCLCO |
-- | DEBBG |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780444110022 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 044411002X |
029 1# - (OCLC) | |
OCLC library identifier | NZ1 |
System control number | 15193301 |
029 1# - (OCLC) | |
OCLC library identifier | DEBBG |
System control number | BV036962761 |
029 1# - (OCLC) | |
OCLC library identifier | DEBSZ |
System control number | 407393781 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (OCoLC)316568526 |
037 ## - SOURCE OF ACQUISITION | |
Stock number | 163598:163791 |
Source of stock number/acquisition | Elsevier Science & Technology |
Note | http://www.sciencedirect.com |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | BC199.M6 |
Item number | G35 1975eb |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 160 |
Edition number | 22 |
049 ## - LOCAL HOLDINGS (OCLC) | |
Holding library | TEFA |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Gallin, Daniel. |
245 10 - TITLE STATEMENT | |
Title | Intensional and higher-order modal logic |
Medium | [electronic resource] : |
Remainder of title | with applications to Montague semantics / |
Statement of responsibility, etc. | Daniel Gallin. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc. | Amsterdam : |
Name of publisher, distributor, etc. | North Holland Pub. Co. ; |
Place of publication, distribution, etc. | New York : |
Name of publisher, distributor, etc. | American Elsevier Pub. Co., |
Date of publication, distribution, etc. | 1975. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 1 online resource (vii, 148 p.) |
490 1# - SERIES STATEMENT | |
Series statement | North-Holland mathematics studies ; |
Volume/sequential designation | 19 |
500 ## - GENERAL NOTE | |
General note | Originally presented as the author's thesis, University of California, Berkeley, 1972. |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc | Includes bibliographical references (p. 144-148). |
588 ## - SOURCE OF DESCRIPTION NOTE | |
Source of description note | Description based on print version record. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Modality (Logic) |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Logic, Symbolic and mathematical. |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Modalit�e (Logique) |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Logique symbolique et math�ematique. |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Logic, Symbolic and mathematical. |
Source of heading or term | fast |
Authority record control number | (OCoLC)fst01002068 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Modality (Logic) |
Source of heading or term | fast |
Authority record control number | (OCoLC)fst01024350 |
655 #4 - INDEX TERM--GENRE/FORM | |
Genre/form data or focus term | Electronic books. |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Print version: |
Main entry heading | Gallin, Daniel. |
Title | Intensional and higher-order modal logic. |
Place, publisher, and date of publication | Amsterdam : North Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975 |
International Standard Book Number | 044411002X |
-- | 9780444110022 |
Record control number | (DLC) 75030898 |
-- | (OCoLC)1694073 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | North-Holland mathematics studies ; |
Volume number/sequential designation | 19. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Materials specified | ScienceDirect |
Uniform Resource Identifier | <a href="http://www.sciencedirect.com/science/book/9780444110022">http://www.sciencedirect.com/science/book/9780444110022</a> |
856 4# - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="http://www.sciencedirect.com/science/publication?issn=03040208&volume=19">http://www.sciencedirect.com/science/publication?issn=03040208&volume=19</a> |
Materials specified | Volltext |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E(electronic)-Books |
994 ## - | |
-- | C0 |
-- | TEF |
No items available.