LEADER 01116nas# 22003013i 450 001 VAN00259798 005 20240806101459.673 017 70$20$a00043702 100 $a20230620a1970 |0itac50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 110 $aaQ||||||||| 181 $ai$b e 182 $ab 200 1 $aArtificial Intelligence 207 $aVol. 1, fasc. 1-2 (1970)- 210 $aAmsterdam$cElsevier$d1970- 215 $avolumi 712 $aElsevier $3VANV108024$4650 801 $aIT$bSOL$c20240906$gRICA 856 4 $uhttps://www.sciencedirect.com/journal/artificial-intelligence$zE-journal ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08$42003-$ce-journal ; 912 $fN 912 $aVAN00259798 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$b082003-$d08DLOAD e-journal 108 $e08e-j108 20230620 996 $aArtificial intelligence$9104454 997 $aUNICAMPANIA LEADER 01819nam0 22004333i 450 001 VAN00094210 005 20260130024618.554 010 $a978-35-400-9732-7 100 $a20130708d1980 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 181 $ai$b e 182 $an 183 $anc 200 1 $aTopological model theory$fJorg Flum, Martin Ziegler 210 $aBerlin$cSpringer$d1980 215 $aX, 149 p.$d24 cm 461 1$1001VAN00102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v769 500 1$3VAN00301911$aTopological model theory$981018 606 $a03B60$xOther nonclassical logic [MSC 2020]$3VANC028873$2MF 606 $a03C90$xNonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020]$3VANC028874$2MF 606 $a03D35$xUndecidability and degrees of sets of sentences [MSC 2020]$3VANC024436$2MF 606 $a12Lxx$xConnections between field theory and logic [MSC 2020]$3VANC029287$2MF 610 $aModel$9KW:K 610 $aModel theory$9KW:K 610 $aTopological spaces$9KW:K 620 $dBerlin$3VANL000066 700 1$aFlum$bJörg$3VANV044268$055649 701 1$aZiegler$bMartin$3VANV075384$0348915 712 $aSpringer $3VANV108073$4650 790 1$aFlum, Jorg$zFlum, Jörg$3VANV062007 801 $aIT$bSOL$c20260206$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Flum, Ziegler - Topological model theory.pdf$zContents 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN00094210 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 1425 $e08 9358 I 20130708 996 $aTopological model theory$981018 997 $aUNICAMPANIA