Search Results for Logic, Symbolic and mathematical - Narrowed by: Model theorySirsiDynix Enterprisehttp://portal.utm.my/client/en_AU/main/main/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical$0026qf$003dSUBJECT$002509Subject$002509Model$002btheory$002509Model$002btheory$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2024-06-09T18:20:43ZLogica universalis : towards a general theory of logicent://SD_ILS/0/SD_ILS:2238602024-06-09T18:20:43Z2024-06-09T18:20:43Zby Beziau, Jean-Yves<br/>Author Beziau, Jean-Yves<br/>Format: Books<br/>Call Number QA9.2 L63 2005<br/>Edition 2nd ed.<br/>Publisher Birkh�auser,<br/>Publication Date 2007<br/>ISBN 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 logicent://SD_ILS/0/SD_ILS:3642182024-06-09T18:20:43Z2024-06-09T18:20:43Zby Hinman, Peter G.<br/>Author Hinman, Peter G.<br/>Format: Books<br/>Call Number QA9 H56 2005<br/>Publisher A K Peters Ltd,<br/>Publication Date 2005<br/>ISBN 9781568812625<br/>Mathematical logic : an introduction to model theoryent://SD_ILS/0/SD_ILS:4834272024-06-09T18:20:43Z2024-06-09T18:20:43Zby Lightstone, A. H.<br/>Author Lightstone, A. H., Enderton, Herbert B.<br/>Format: Books<br/>Call Number QA9 L53 1978<br/>Publisher Plenum Press,<br/>Publication Date 1978<br/>ISBN 9780306308949<br/>Model theory for infinitary logic : logic with countable conjunctions and finite quantifiersent://SD_ILS/0/SD_ILS:4857802024-06-09T18:20:43Z2024-06-09T18:20:43Zby Keisler, H. Jerome<br/>Author Keisler, H. Jerome<br/>Format: Books<br/>Call Number QA9.37 K45 1971<br/>Publisher North-Holland Publishing,<br/>Publication Date 1971<br/>ISBN 9780720422580<br/>