Search Results for Mathematical models - Narrowed by: Model theory SirsiDynix Enterprise http://portal.utm.my/client/en_AU/main/main/qu$003dMathematical$002bmodels$0026qf$003dSUBJECT$002509Subject$002509Model$002btheory$002509Model$002btheory$0026ps$003d300$0026isd$003dtrue?dt=list 2024-05-04T17:43:18Z Model theory with applications to algebra and analysis ent://SD_ILS/0/SD_ILS:395633 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Chatzidakis, Zoe Maria<br/>Author&#160;Chatzidakis, Zoe Maria<br/>Format:&#160;Books<br/>Call Number&#160;QA9.7 M62 2008<br/>Publisher&#160;Cambridge University Press,<br/>Publication Date&#160;2008<br/>ISBN&#160;9780521694841<br/> Logica universalis : towards a general theory of logic ent://SD_ILS/0/SD_ILS:223860 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Beziau, Jean-Yves<br/>Author&#160;Beziau, Jean-Yves<br/>Format:&#160;Books<br/>Call Number&#160;QA9.2 L63 2005<br/>Edition&#160;2nd ed.<br/>Publisher&#160;Birkh&#65533;auser,<br/>Publication Date&#160;2007<br/>ISBN&#160;9783764383534<br/><a href="http://dx.doi.org/10.1007/978-3-7643-8354-1">Full Text</a><br/>Accessible within UTM campus<br/> Fundamentals of mathematical logic ent://SD_ILS/0/SD_ILS:364218 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Hinman, Peter G.<br/>Author&#160;Hinman, Peter G.<br/>Format:&#160;Books<br/>Call Number&#160;QA9 H56 2005<br/>Publisher&#160;A K Peters Ltd,<br/>Publication Date&#160;2005<br/>ISBN&#160;9781568812625<br/> A course in model theory : an introduction to contemporary mathematical logic ent://SD_ILS/0/SD_ILS:384763 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Poizat, Bruno<br/>Author&#160;Poizat, Bruno,&#160;Klein, Moses<br/>Format:&#160;Books<br/>Call Number&#160;QA9.7 P64 2000<br/>Publisher&#160;Springer,<br/>Publication Date&#160;2000<br/>ISBN&#160;9780387986555<br/> Model theory ent://SD_ILS/0/SD_ILS:285559 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Chang, Chen Chung, 1927-<br/>Author&#160;Chang, Chen Chung, 1927-,&#160;Keisler, H. Jerome<br/>Format:&#160;Books<br/>Call Number&#160;QA9.7 C53 1990<br/>Edition&#160;3rd ed.<br/>Publisher&#160;Sole dist.,<br/>Publication Date&#160;1990<br/>ISBN&#160;9780444880543<br/> Dynamic systems : modelling and control ent://SD_ILS/0/SD_ILS:487865 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Donath, Max<br/>Author&#160;Donath, Max<br/>Format:&#160;Books<br/>Call Number&#160;QA402 .D93 1985 f<br/>Publisher&#160;ASME,<br/>Publication Date&#160;1985<br/> Topological model theory ent://SD_ILS/0/SD_ILS:167637 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Flum, Jorg<br/>Author&#160;Flum, Jorg,&#160;Ziegler, Martin<br/>Format:&#160;Books<br/>Call Number&#160;QA611.3 .F58 1980<br/>Publisher&#160;Springer-Verlag,<br/>Publication Date&#160;1980<br/>ISBN&#160;9780387097329<br/> Factorization and model theory for contraction operators with unitary part ent://SD_ILS/0/SD_ILS:136342 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Ball, Joseph A.<br/>Author&#160;Ball, Joseph A.<br/>Format:&#160;Books<br/>Call Number&#160;QA329.2 B34 1978<br/>Publisher&#160;American Mathematical Society,<br/>Publication Date&#160;1978<br/>ISBN&#160;9780821821985<br/> Mathematical logic : an introduction to model theory ent://SD_ILS/0/SD_ILS:483427 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Lightstone, A. H.<br/>Author&#160;Lightstone, A. H.,&#160;Enderton, Herbert B.<br/>Format:&#160;Books<br/>Call Number&#160;QA9 L53 1978<br/>Publisher&#160;Plenum Press,<br/>Publication Date&#160;1978<br/>ISBN&#160;9780306308949<br/> Classification theory and the number of non-isomorphic models ent://SD_ILS/0/SD_ILS:487401 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Shelah, S.<br/>Author&#160;Shelah, S.<br/>Format:&#160;Books<br/>Call Number&#160;QA9.7 S53 1978<br/>Publisher&#160;North-Holland,<br/>Publication Date&#160;1978<br/>ISBN&#160;9780720407570<br/> Complete theories ent://SD_ILS/0/SD_ILS:485723 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Robinson, Abraham, 1918-1974<br/>Author&#160;Robinson, Abraham, 1918-1974<br/>Format:&#160;Books<br/>Call Number&#160;QA9.7 R6 1977<br/>Publisher&#160;North-Holland,<br/>Publication Date&#160;1977<br/>ISBN&#160;9780720406900<br/> Model theoretic algebra : selected topics ent://SD_ILS/0/SD_ILS:148773 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Cherlin, Greg<br/>Author&#160;Cherlin, Greg<br/>Format:&#160;Books<br/>Call Number&#160;QA9.7 C54 1976<br/>Publisher&#160;Spinger-Verlag,<br/>Publication Date&#160;1976<br/>ISBN&#160;9783540076964<br/> Model theory and topoi : a collestion of lectures ent://SD_ILS/0/SD_ILS:200510 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Lawrence, F. W.<br/>Author&#160;Lawrence, F. W.,&#160;Maurer, Christian, 1945-,&#160;Wraith, Gavin C., 1939-<br/>Format:&#160;Books<br/>Call Number&#160;QA9.7 M63 1975<br/>Publisher&#160;Springer-Verlag,<br/>Publication Date&#160;1975<br/>ISBN&#160;9780387071640<br/> Model theory and algebra : a memorial tribute to Abraham Robinson ent://SD_ILS/0/SD_ILS:148761 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Robinson, Abraham, 1918-1974<br/>Author&#160;Robinson, Abraham, 1918-1974,&#160;Saracino, Dan, 1947-,&#160;Weispfenning, Volker, 1944-<br/>Format:&#160;Books<br/>Call Number&#160;QA9.7 M6 1975<br/>Publisher&#160;Springer-Verlag,<br/>Publication Date&#160;1975<br/>ISBN&#160;9780387075389<br/> Introduction to model theory and to the mathematics of algebra ent://SD_ILS/0/SD_ILS:486126 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Robinson, Abraham, 1918-1974<br/>Author&#160;Robinson, Abraham, 1918-1974<br/>Format:&#160;Books<br/>Call Number&#160;QA9.7 R63 1974<br/>Publisher&#160;North-Halland,<br/>Publication Date&#160;1974<br/>ISBN&#160;9780712422222<br/> Aspects of constructibility ent://SD_ILS/0/SD_ILS:149152 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Devlin, Keith J.<br/>Author&#160;Devlin, Keith J.<br/>Format:&#160;Books<br/>Call Number&#160;QA248 D49 1973<br/>Publisher&#160;Springer-Verlag,<br/>Publication Date&#160;1973<br/>ISBN&#160;9780387065229<br/> Studies in model theory ent://SD_ILS/0/SD_ILS:297462 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z Format:&#160;Books<br/>Call Number&#160;QA9.7 S78 1973<br/>Publisher&#160;Mathmematical Association of America,<br/>Publication Date&#160;1973<br/>ISBN&#160;9780883851081<br/> Mathematical interpretation of formal systems ent://SD_ILS/0/SD_ILS:485700 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Skolem, Thoralf<br/>Author&#160;Skolem, Thoralf<br/>Format:&#160;Books<br/>Call Number&#160;QA9.7 M38 1971<br/>Edition&#160;2nd ed<br/>Publisher&#160;North-Holland,<br/>Publication Date&#160;1971<br/>ISBN&#160;720422264<br/> Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers ent://SD_ILS/0/SD_ILS:485780 2024-05-04T17:43:18Z 2024-05-04T17:43:18Z by&#160;Keisler, H. Jerome<br/>Author&#160;Keisler, H. Jerome<br/>Format:&#160;Books<br/>Call Number&#160;QA9.37 K45 1971<br/>Publisher&#160;North-Holland Publishing,<br/>Publication Date&#160;1971<br/>ISBN&#160;9780720422580<br/>