Cargando…
Institution-independent model theory /
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Basel ; Boston :
Birkhäuser,
©2008.
|
| Colección: | Studies in universal logic.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn288440391 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.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 | ||
| 029 | 1 | |a DEBBG |b BV044130765 | |
| 029 | 1 | |a DEBSZ |b 396200362 | |
| 029 | 1 | |a DKDLA |b 820120-katalog:999900320805765 | |
| 029 | 1 | |a HEBIS |b 204259223 | |
| 029 | 1 | |a NLGGC |b 38215729X | |
| 029 | 1 | |a NZ1 |b 13072685 | |
| 029 | 1 | |a NZ1 |b 13708218 | |
| 029 | 1 | |a AU@ |b 000073099561 | |
| 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 | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 084 | |a O141. 4 |2 clc | ||
| 049 | |a UAMI | ||
| 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. | |
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Model theory. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Théorie des modèles. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 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.uam.elogim.com/lib/uam-ebooks/detail.action?docID=364464 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL364464 | ||
| 938 | |a ebrary |b EBRY |n ebr10245877 | ||
| 938 | |a EBSCOhost |b EBSC |n 256510 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 186259 | ||
| 938 | |a YBP Library Services |b YANK |n 2893160 | ||
| 994 | |a 92 |b IZTAP | ||