Search Results for Algebra - Narrowed by: Logic, Symbolic and mathematical SirsiDynix Enterprise http://portal.utm.my/client/en_AU/main/main/qu$003dAlgebra$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical$002509Logic$00252C$002bSymbolic$002band$002bmathematical$0026ps$003d300$0026isd$003dtrue?dt=list 2024-05-21T01:15:37Z Logic as algebra ent://SD_ILS/0/SD_ILS:288356 2024-05-21T01:15:37Z 2024-05-21T01:15:37Z by&#160;Halmos, Paul<br/>Author&#160;Halmos, Paul,&#160;Givant, Steven R.<br/>Format:&#160;Books<br/>Call Number&#160;QA9 H343 1998<br/>Publisher&#160;The Mathematical Association of America,<br/>Publication Date&#160;1998<br/>ISBN&#160;9780883853276<br/> Algebra and logic ent://SD_ILS/0/SD_ILS:549679 2024-05-21T01:15:37Z 2024-05-21T01:15:37Z Format:&#160;Continuing Resources<br/>Call Number&#160;QA150.A45 22no1-6(1983)<br/>Publisher&#160;Consultants Bureau,<br/>Publication Date&#160;1983&#160;1982&#160;1981&#160;1980&#160;1979<br/>ISSN&#160;00025232<br/> Logic and boolean algebra ent://SD_ILS/0/SD_ILS:295137 2024-05-21T01:15:37Z 2024-05-21T01:15:37Z by&#160;Levitz, Kathleen<br/>Author&#160;Levitz, Kathleen,&#160;Levitz, Hilbert<br/>Format:&#160;Books<br/>Call Number&#160;QA9 L47 1979<br/>Publisher&#160;Barron's Educational Series, Inc.,<br/>Publication Date&#160;1979<br/>ISBN&#160;9780812005370<br/> Logic I : Boolean algebra ent://SD_ILS/0/SD_ILS:292573 2024-05-21T01:15:37Z 2024-05-21T01:15:37Z by&#160;Open University. Mathematics Foundation Course Team<br/>Author&#160;Open University. Mathematics Foundation Course Team<br/>Format:&#160;Books<br/>Call Number&#160;QA11 O64 1971 j11 f<br/>Publisher&#160;Open University Press,<br/>Publication Date&#160;1971<br/>ISBN&#160;9780335010103<br/> Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry ent://SD_ILS/0/SD_ILS:238863 2024-05-21T01:15:37Z 2024-05-21T01:15:37Z by&#160;Bucur, Ionel, 1930-1976<br/>Author&#160;Bucur, Ionel, 1930-1976<br/>Format:&#160;Books<br/>Call Number&#160;QA155 B92 1984<br/>Publisher&#160;D Reidel Pub ,<br/>Publication Date&#160;1984<br/>ISBN&#160;9789027716712<br/> A tour through mathematical logic ent://SD_ILS/0/SD_ILS:767034 2024-05-21T01:15:37Z 2024-05-21T01:15:37Z by&#160;Wolf, Robert S.<br/>Author&#160;Wolf, Robert S.<br/>Format:&#160;Books<br/>Call Number&#160;QA9 W65 2005<br/>Publisher&#160;Mathematical Association of America,<br/>Publication Date&#160;2005<br/>ISBN&#160;9780883850428&#160;9780883850367<br/> A tour through mathematical logic ent://SD_ILS/0/SD_ILS:288359 2024-05-21T01:15:37Z 2024-05-21T01:15:37Z by&#160;Wolf, Robert S.<br/>Author&#160;Wolf, Robert S.<br/>Format:&#160;Books<br/>Call Number&#160;QA9 W648 2005<br/>Publisher&#160;The Mathematical Association of America,<br/>Publication Date&#160;2005<br/>ISBN&#160;9780883850367<br/> Fundamentals of algebraic specification 1 : Equations and initial semantics ent://SD_ILS/0/SD_ILS:171330 2024-05-21T01:15:37Z 2024-05-21T01:15:37Z by&#160;Ehrig, H.<br/>Author&#160;Ehrig, H.,&#160;Mahr, B.<br/>Format:&#160;Books<br/>Call Number&#160;QA266 E47 1985<br/>Publisher&#160;Springer-Verlag,<br/>Publication Date&#160;1985<br/>ISBN&#160;9780387137186<br/> Derivation of the algebraic system Jacobian matrix from bond graphs using a symbol manipulation technique ent://SD_ILS/0/SD_ILS:20850 2024-05-21T01:15:37Z 2024-05-21T01:15:37Z by&#160;Hamilton, Peter Seth<br/>Author&#160;Hamilton, Peter Seth<br/>Format:&#160;Visual Materials<br/>Call Number&#160;MFL 7505<br/>Publication Date&#160;1984<br/>Thesis (Ph.D) -- University of Texas, Austin, 1984<br/> Two applications of logic to mathematics ent://SD_ILS/0/SD_ILS:148780 2024-05-21T01:15:37Z 2024-05-21T01:15:37Z by&#160;Takeuti, Gaisi<br/>Author&#160;Takeuti, Gaisi<br/>Format:&#160;Books<br/>Call Number&#160;QA9 T34 1978<br/>Publisher&#160;Iwanami Shoten,<br/>Publication Date&#160;1978<br/> Schaum's outline of theory and problems of discrete mathematics ent://SD_ILS/0/SD_ILS:166559 2024-05-21T01:15:37Z 2024-05-21T01:15:37Z by&#160;Lipschutz, Seymour<br/>Author&#160;Lipschutz, Seymour<br/>Format:&#160;Books<br/>Call Number&#160;QA162 L56 1976 f<br/>Publisher&#160;McGraw-Hill,<br/>Publication Date&#160;1976<br/>ISBN&#160;9780070379817<br/> The logico-algebraic approach to quantum mechanics ent://SD_ILS/0/SD_ILS:202486 2024-05-21T01:15:37Z 2024-05-21T01:15:37Z by&#160;Hooker, C. A. (Clifford Alan), 1942-<br/>Author&#160;Hooker, C. A. (Clifford Alan), 1942-<br/>Format:&#160;Books<br/>Call Number&#160;QC174.12.L63 1975<br/>Publisher&#160;D. Reidel,<br/>Publication Date&#160;1975<br/>ISBN&#160;v1 : 9027705674<br/> An algebraic introduction to mathematical logic ent://SD_ILS/0/SD_ILS:153853 2024-05-21T01:15:37Z 2024-05-21T01:15:37Z by&#160;Barnes, Donald W.<br/>Author&#160;Barnes, Donald W.,&#160;Mack, John M.<br/>Format:&#160;Books<br/>Call Number&#160;QA9 B27 1975<br/>Publisher&#160;Springer-Verleg,<br/>Publication Date&#160;1975<br/> Algebraic methods of mathematical logic ent://SD_ILS/0/SD_ILS:296383 2024-05-21T01:15:37Z 2024-05-21T01:15:37Z by&#160;Reiger, Ladislav<br/>Author&#160;Reiger, Ladislav<br/>Format:&#160;Books<br/>Call Number&#160;QA9 R54 1967<br/>Publisher&#160;Academic Press,<br/>Publication Date&#160;1967<br/>ISBN&#160;9780125880503<br/> An introduction to the elements of mathematics ent://SD_ILS/0/SD_ILS:484939 2024-05-21T01:15:37Z 2024-05-21T01:15:37Z by&#160;Fujii, John N.<br/>Author&#160;Fujii, John N.<br/>Format:&#160;Books<br/>Call Number&#160;QA9 F84 1961<br/>Publisher&#160;J Wiley,<br/>Publication Date&#160;1961<br/>ISBN&#160;9780471285786<br/>