|
|
|
|
LEADER |
00000cam a2200000 a 4500 |
001 |
ocn288440391 |
003 |
OCoLC |
005 |
20240809213013.0 |
006 |
m o d |
007 |
cr cn||||||||| |
008 |
081217s2008 sz a ob 001 0 eng d |
040 |
|
|
|a GW5XE
|b eng
|e pn
|c GW5XE
|d YDXCP
|d OSU
|d OCLCQ
|d MHW
|d MND
|d N$T
|d UBC
|d UAB
|d E7B
|d IDEBK
|d EBLCP
|d OCLCQ
|d A7U
|d OCLCQ
|d DKDLA
|d OCLCF
|d DEBSZ
|d OCLCQ
|d SLY
|d COO
|d OCLCQ
|d AZK
|d LOA
|d COCUF
|d VT2
|d LIP
|d PIFAG
|d ZCU
|d OTZ
|d OCLCQ
|d MERUC
|d ESU
|d OCLCQ
|d U3W
|d STF
|d WRM
|d OCLCQ
|d CEF
|d NRAMU
|d INT
|d OCLCQ
|d WYU
|d ICG
|d OCLCQ
|d DKC
|d OCLCQ
|d CNTRU
|d OCLCQ
|d CANPU
|d TKN
|d W2U
|d ERF
|d UKCRE
|d DCT
|d OCLCO
|d OCLCQ
|d OCLCO
|d S9M
|d OCLCL
|
019 |
|
|
|a 260356735
|a 320909606
|a 443714228
|a 488910113
|a 607353253
|a 646044007
|a 767793947
|a 880315536
|a 961605391
|a 962612720
|a 966211864
|a 985053930
|a 992027795
|a 994962185
|a 1005787802
|a 1035653867
|a 1037797244
|a 1038659909
|a 1044325349
|a 1055345579
|a 1056372606
|a 1060695238
|a 1060801493
|a 1063814318
|a 1086937680
|a 1153544603
|a 1162745340
|a 1204029307
|a 1228565359
|
020 |
|
|
|a 9783764387082
|
020 |
|
|
|a 3764387084
|
020 |
|
|
|a 9783764387075
|
020 |
|
|
|a 3764387076
|
035 |
|
|
|a (OCoLC)288440391
|z (OCoLC)260356735
|z (OCoLC)320909606
|z (OCoLC)443714228
|z (OCoLC)488910113
|z (OCoLC)607353253
|z (OCoLC)646044007
|z (OCoLC)767793947
|z (OCoLC)880315536
|z (OCoLC)961605391
|z (OCoLC)962612720
|z (OCoLC)966211864
|z (OCoLC)985053930
|z (OCoLC)992027795
|z (OCoLC)994962185
|z (OCoLC)1005787802
|z (OCoLC)1035653867
|z (OCoLC)1037797244
|z (OCoLC)1038659909
|z (OCoLC)1044325349
|z (OCoLC)1055345579
|z (OCoLC)1056372606
|z (OCoLC)1060695238
|z (OCoLC)1060801493
|z (OCoLC)1063814318
|z (OCoLC)1086937680
|z (OCoLC)1153544603
|z (OCoLC)1162745340
|z (OCoLC)1204029307
|z (OCoLC)1228565359
|
037 |
|
|
|a 978-3-7643-8707-5
|b Springer
|n http://www.springerlink.com
|
050 |
|
4 |
|a QA9.7
|b .D53 2008eb
|
072 |
|
7 |
|a MAT
|x 016000
|2 bisacsh
|
072 |
|
7 |
|a MAT
|x 018000
|2 bisacsh
|
049 |
|
|
|a HCDD
|
100 |
1 |
|
|a Diaconescu, Răzvan.
|
245 |
1 |
0 |
|a Institution-independent model theory /
|c Răzvan Diaconescu.
|
260 |
|
|
|a Basel ;
|a Boston :
|b Birkhäuser,
|c ©2008.
|
300 |
|
|
|a 1 online resource (xi, 376 pages) :
|b illustrations
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a data file
|
490 |
1 |
|
|a Studies in universal logic
|
504 |
|
|
|a Includes bibliographical references (pages 355-367) and index.
|
505 |
0 |
|
|a Introduction -- Categories -- Institutions -- Theories and models -- Internal logic -- Model ultrapoducts -- Saturated models -- Preservation and axiomatizability -- Interpolation -- Definability -- Possible worlds -- Grothendieck institutions -- Institutions with proofs -- Specification -- Logic programming.
|
520 |
|
|
|a A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system.
|
588 |
0 |
|
|a Print version record.
|
650 |
|
0 |
|a Model theory.
|
650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
650 |
|
7 |
|a MATHEMATICS
|x Infinity.
|2 bisacsh
|
650 |
|
7 |
|a MATHEMATICS
|x Logic.
|2 bisacsh
|
650 |
0 |
7 |
|a Model theory.
|2 cct
|
650 |
0 |
7 |
|a Logic, Symbolic and mathematical.
|2 cct
|
650 |
|
7 |
|a Teoría de modelos
|2 embne
|
650 |
|
7 |
|a Lógica matemática
|2 embne
|
650 |
|
7 |
|a Logic, Symbolic and mathematical
|2 fast
|
650 |
|
7 |
|a Model theory
|2 fast
|
758 |
|
|
|i has work:
|a Institution-independent model theory (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCGTxybCRtrbhCdw6r4brYK
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
776 |
0 |
8 |
|i Print version:
|a Diaconescu, Răzvan.
|t Institution-independent model theory.
|d Basel ; Boston : Birkhäuser, ©2008
|z 3764387076
|z 9783764387075
|w (DLC) 2008924875
|w (OCoLC)191759987
|
830 |
|
0 |
|a Studies in universal logic.
|
856 |
4 |
0 |
|u https://ebookcentral.proquest.com/lib/holycrosscollege-ebooks/detail.action?docID=364464
|y Click for online access
|
903 |
|
|
|a EBC-AC
|
994 |
|
|
|a 92
|b HCD
|