Model Theory for Modal Logic (Запис № 462480)

МАРК-запис
000 -LEADER
fixed length control field 02187nam a22004575i 4500
001 - CONTROL NUMBER
control field 978-94-015-7642-0
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200904110255.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 130427s1979 ne | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9789401576420
-- 978-94-015-7642-0
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-94-015-7642-0
Source of number or code doi
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number BC1-199
072 #7 - SUBJECT CATEGORY CODE
Subject category code HPL
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code PHI011000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code QDTL
Source thema
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 160
Edition number 23
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Bowen, K.A.
Relator term author.
Relator code aut
-- http://id.loc.gov/vocabulary/relators/aut
245 10 - TITLE STATEMENT
Title Model Theory for Modal Logic
Medium [electronic resource] :
Remainder of title Kripke Models for Modal Predicate Calculi /
Statement of responsibility, etc by K.A. Bowen.
250 ## - EDITION STATEMENT
Edition statement 1st ed. 1979.
264 #1 -
-- Dordrecht :
-- Springer Netherlands :
-- Imprint: Springer,
-- 1979.
300 ## - PHYSICAL DESCRIPTION
Extent X, 139 p. 1 illus.
Other physical details online resource.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
490 1# - SERIES STATEMENT
Series statement Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
Міжнародний стандартний серійний номер для назви серії (ISSN) 0166-6991 ;
Том/ позначення послідовності 127
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Syntactic Considerations -- Modal Structures and Morphisms -- Validity -- Completeness -- Löwenheim-Skolem Theorems -- Ultraproducts -- Ultrafilter Pairs and Elementary Embeddings -- Direct Limits -- Model Extensions -- Inductive Theories -- Joint Consistency and Interpolation -- Model Completeness -- Finite Forcing -- Forcing and Model Completions -- Omitting Types and a Two-Cardinal Theorem.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic.
-- https://scigraph.springernature.com/ontologies/product-market-codes/E16000
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer Nature eBook
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9789048183531
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9789401576437
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9789027709295
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
-- 0166-6991 ;
Volume number/sequential designation 127
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/978-94-015-7642-0">https://doi.org/10.1007/978-94-015-7642-0</a>
912 ## -
-- ZDB-2-SHU
912 ## -
-- ZDB-2-BAE

Немає доступних примірників.