Search Results for Mathematics - Narrowed by: Logic, Symbolic and mathematicalSirsiDynix Enterprisehttp://portal.utm.my/client/en_AU/main/main/qu$003dMathematics$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical$002509Logic$00252C$002bSymbolic$002band$002bmathematical$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2024-05-08T10:18:07ZElements of mathematicsent://SD_ILS/0/SD_ILS:4820962024-05-08T10:18:07Z2024-05-08T10:18:07Zby Armstrong, James W.<br/>Author Armstrong, James W.<br/>Format: Books<br/>Call Number QA9 A7 1970<br/>Publisher Macmillan,<br/>Publication Date 1970<br/>Ideas in mathematicsent://SD_ILS/0/SD_ILS:4848922024-05-08T10:18:07Z2024-05-08T10:18:07Zby Douglis, Avron<br/>Author Douglis, Avron<br/>Format: Books<br/>Call Number QA9 D68 1970<br/>Publisher Saunders<br/>Publication Date 1970<br/>ISBN 9780721631707<br/>Mathematics : ideas and usesent://SD_ILS/0/SD_ILS:4793342024-05-08T10:18:07Z2024-05-08T10:18:07Zby Russell, David<br/>Author Russell, David<br/>Format: Books<br/>Call Number QA9 R87 1979<br/>Publisher D Van Nostrand,<br/>Publication Date 1979<br/>ISBN 9780442272029<br/>From mathematics to philosophyent://SD_ILS/0/SD_ILS:2541182024-05-08T10:18:07Z2024-05-08T10:18:07Zby Wang, Hao<br/>Author Wang, Hao<br/>Format: Books<br/>Call Number BD161 W27 1974<br/>Publisher Routledge and Kegan Paul,<br/>Publication Date 1974<br/>ISBN 9780710076892<br/>Mathematics and plausible reasoningent://SD_ILS/0/SD_ILS:4786072024-05-08T10:18:07Z2024-05-08T10:18:07Zby Polya, George, 1887-1985<br/>Author Polya, George, 1887-1985<br/>Format: Books<br/>Call Number QA9 P64 1954<br/>Publisher Oxford U P,<br/>Publication Date 1954<br/>Languages, logic and mathematicsent://SD_ILS/0/SD_ILS:1538462024-05-08T10:18:07Z2024-05-08T10:18:07Zby Kilmister, C. W. (Clive William)<br/>Author Kilmister, C. W. (Clive William)<br/>Format: Books<br/>Call Number QA9 K54 1967<br/>Publisher English Universities Press.,<br/>Publication Date 1967<br/>ISBN 9780340050200<br/>A concise introduction to pure mathematicsent://SD_ILS/0/SD_ILS:7492082024-05-08T10:18:07Z2024-05-08T10:18:07Zby Liebeck, M. W. (Martin W.), 1954-<br/>Author Liebeck, M. W. (Martin W.), 1954-<br/>Format: Books<br/>Call Number QA9 L534 2011<br/>Edition 3rd ed.<br/>Publisher Taylor & Francis,<br/>Publication Date 2011<br/>ISBN 9781439835982<br/>Mathematics and mathematical logic : new researchent://SD_ILS/0/SD_ILS:7677932024-05-08T10:18:07Z2024-05-08T10:18:07Zby Milosav, Peter<br/>Author Milosav, Peter, Ercegovaca, Irene<br/>Format: Books<br/>Call Number QA9 M384 2010<br/>Publisher Nova Science Publishers,<br/>Publication Date 2010<br/>ISBN 9781606928622<br/>Discrete mathematics and its applicationsent://SD_ILS/0/SD_ILS:1341462024-05-08T10:18:07Z2024-05-08T10:18:07Zby Rosen, Kenneth H.<br/>Author Rosen, Kenneth H.<br/>Format: Books<br/>Call Number QA39.3 R67 2007<br/>Edition 6th ed.<br/>Publisher McGraw-Hill Higher Education,<br/>Publication Date 2007<br/>ISBN 9780072880083<br/>A concise introduction to pure mathematicsent://SD_ILS/0/SD_ILS:4820452024-05-08T10:18:07Z2024-05-08T10:18:07Zby Liebeck, M. W. (Martin W.), 1954-<br/>Author Liebeck, M. W. (Martin W.), 1954-<br/>Format: Books<br/>Call Number QA9 L534 2006<br/>Edition 2nd ed.<br/>Publisher Chapman & Hall/CRC,<br/>Publication Date 2006<br/>ISBN 9781584885474<br/>Logic for mathematics and computer scienceent://SD_ILS/0/SD_ILS:4761962024-05-08T10:18:07Z2024-05-08T10:18:07Zby Burris, Stanley N.<br/>Author Burris, Stanley N.<br/>Format: Books<br/>Call Number QA9 B87 1998<br/>Publisher Prentice Hall,<br/>Publication Date 1998<br/>ISBN 9780132859745<br/>Foundations : logic, language and mathematicsent://SD_ILS/0/SD_ILS:1756542024-05-08T10:18:07Z2024-05-08T10:18:07Zby Leblanc, Hugues, 1924-<br/>Author Leblanc, Hugues, 1924-, Mendelson, Elliott, Orenstein, Alex<br/>Format: Books<br/>Call Number QA9 F68 1984<br/>Publisher D Reidel Pub.,<br/>Publication Date 1984<br/>ISBN 9789027718419<br/>Two applications of logic to mathematicsent://SD_ILS/0/SD_ILS:1487802024-05-08T10:18:07Z2024-05-08T10:18:07Zby Takeuti, Gaisi<br/>Author Takeuti, Gaisi<br/>Format: Books<br/>Call Number QA9 T34 1978<br/>Publisher Iwanami Shoten,<br/>Publication Date 1978<br/>Introductory College Mathematics : sets and logicent://SD_ILS/0/SD_ILS:4501972024-05-08T10:18:07Z2024-05-08T10:18:07Zby Hackworth, Robert D.<br/>Author Hackworth, Robert D., Howland, Joseph W.<br/>Format: Books<br/>Call Number QA248 H33 1976<br/>Publisher W B Saunders,<br/>Publication Date 1976<br/>ISBN 9780721644110<br/>Logic in mathematics : an elementary approachent://SD_ILS/0/SD_ILS:1899672024-05-08T10:18:07Z2024-05-08T10:18:07Zby Hallerberg, Arthur Edward<br/>Author Hallerberg, Arthur Edward<br/>Format: Books<br/>Call Number QA9 H34 1974<br/>Publisher Hafner Press,<br/>Publication Date 1974<br/>ISBN 9780028456713<br/>Mathematics for a liberal educationent://SD_ILS/0/SD_ILS:1487012024-05-08T10:18:07Z2024-05-08T10:18:07Zby Ohmer, Merlin M.<br/>Author Ohmer, Merlin M.<br/>Format: Books<br/>Call Number QA9 O45 1971<br/>Publisher Addison-Wesley Pub.,<br/>Publication Date 1971<br/>Fundamental concepts of modern mathematicsent://SD_ILS/0/SD_ILS:4834112024-05-08T10:18:07Z2024-05-08T10:18:07Zby Larsen, Max D.<br/>Author Larsen, Max D.<br/>Format: Books<br/>Call Number QA9 L37 1970<br/>Publisher Addison-Wesley,<br/>Publication Date 1970<br/>ISBN 9780201042092<br/>Mathematics and logic for digital devicesent://SD_ILS/0/SD_ILS:4826982024-05-08T10:18:07Z2024-05-08T10:18:07Zby Culberston, James Thomas<br/>Author Culberston, James Thomas<br/>Format: Books<br/>Call Number QA37 C95 1958<br/>Publisher Van Nostrand,<br/>Publication Date 1964 1958<br/>Introduction to the foundations of mathematicsent://SD_ILS/0/SD_ILS:4777972024-05-08T10:18:07Z2024-05-08T10:18:07Zby Wilder, Raymond L<br/>Author Wilder, Raymond L<br/>Format: Books<br/>Call Number QA9 W642 1952<br/>Publisher Wiley,<br/>Publication Date 1952<br/>Studies in constructive mathematics and mathematical logicent://SD_ILS/0/SD_ILS:4782572024-05-08T10:18:07Z2024-05-08T10:18:07Zby Slisenko, A. O.<br/>Author Slisenko, A. O.<br/>Format: Books<br/>Call Number QA1 S4 1971<br/>Publisher Consultants Bureau,<br/>Publication Date 1971<br/>Studies in constructive mathematics and mathematical logicent://SD_ILS/0/SD_ILS:4782312024-05-08T10:18:07Z2024-05-08T10:18:07Zby Slisenko, A. O.<br/>Author Slisenko, A. O.<br/>Format: Books<br/>Call Number QA1 S4 1970<br/>Publisher Consultants Bureau,<br/>Publication Date 1970<br/>Studies in constructive mathematics and mathematical logicent://SD_ILS/0/SD_ILS:4781182024-05-08T10:18:07Z2024-05-08T10:18:07Zby Slisenko, A. O.<br/>Author Slisenko, A. O.<br/>Format: Books<br/>Call Number QA1 S4 1969<br/>Publisher Consultants Bureau,<br/>Publication Date 1969<br/>Visualization, explanation and reasoning styles in mathematicsent://SD_ILS/0/SD_ILS:1790072024-05-08T10:18:07Z2024-05-08T10:18:07Zby Mancosu, Paolo<br/>Author Mancosu, Paolo, Jorgensen, Klaus Frovin, Pedersen, Stig Andur, 1943-<br/>Format: Books<br/>Call Number QA8.6 V57 2005<br/>Publisher Springer,<br/>Publication Date 2005<br/>ISBN 9781402033346 9781402033353<br/>Logic of mathematics : a modern course of classical logicent://SD_ILS/0/SD_ILS:886802024-05-08T10:18:07Z2024-05-08T10:18:07Zby Adamowicz, Zofia<br/>Author Adamowicz, Zofia, Zbierski, Pawel<br/>Format: Books<br/>Call Number QA9 A33 1997<br/>Publisher John Wiley,<br/>Publication Date 1997<br/>ISBN 9780471060260<br/>An introduction to the elements of mathematicsent://SD_ILS/0/SD_ILS:4849392024-05-08T10:18:07Z2024-05-08T10:18:07Zby Fujii, John N.<br/>Author Fujii, John N.<br/>Format: Books<br/>Call Number QA9 F84 1961<br/>Publisher J Wiley,<br/>Publication Date 1961<br/>ISBN 9780471285786<br/>The nature of mathematics: a critical surveyent://SD_ILS/0/SD_ILS:4819372024-05-08T10:18:07Z2024-05-08T10:18:07Zby Black, Max<br/>Author Black, Max<br/>Format: Books<br/>Call Number QA9 B62 1933<br/>Publisher Routledge & Kegan Paul,<br/>Publication Date 1933<br/>The logical and set-theoretical foundations of mathematicsent://SD_ILS/0/SD_ILS:1487342024-05-08T10:18:07Z2024-05-08T10:18:07Zby Zulauf, Achim<br/>Author Zulauf, Achim<br/>Format: Books<br/>Call Number QA9 Z84 1969<br/>Publisher Oliver and Boyd,<br/>Publication Date 1969<br/>ISBN 050019961<br/>Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbersent://SD_ILS/0/SD_ILS:7657262024-05-08T10:18:07Z2024-05-08T10:18:07Zby Schroder, Bernd S. W. (Bernd Siegfried Walter), 1966-<br/>Author Schroder, Bernd S. W. (Bernd Siegfried Walter), 1966-<br/>Format: Books<br/>Call Number QA248 S37 2010<br/>Publisher Wiley,<br/>Publication Date 2010<br/>ISBN 9780470551387<br/>The mathematics of logic : a guide to completeness theorems and their applicationsent://SD_ILS/0/SD_ILS:2702652024-05-08T10:18:07Z2024-05-08T10:18:07Zby Kaye, Richard<br/>Author Kaye, Richard<br/>Format: Books<br/>Call Number QA9 K39 2007<br/>Publisher Cambridge University Press,<br/>Publication Date 2007<br/>ISBN 9780521882194<br/>Foundations of logic and mathematics : applications to computer science and cryptographyent://SD_ILS/0/SD_ILS:3471932024-05-08T10:18:07Z2024-05-08T10:18:07Zby Nievergelt, Yves<br/>Author Nievergelt, Yves<br/>Format: Books<br/>Call Number QA9 N54 2002<br/>Publisher Birkh�auser,<br/>Publication Date 2002<br/>ISBN 9780817642495<br/>Elements of logic and foundations of mathematics in problemsent://SD_ILS/0/SD_ILS:3197452024-05-08T10:18:07Z2024-05-08T10:18:07Zby Marek, Wiktor<br/>Author Marek, Wiktor, Onyszkiewicz, Janusz<br/>Format: Books<br/>Call Number QA9 M38 1982<br/>Publisher D Reidel Pub.,<br/>Publication Date 1982<br/>ISBN 9789027710840<br/>Schaum's outline of theory and problems of discrete mathematicsent://SD_ILS/0/SD_ILS:1665592024-05-08T10:18:07Z2024-05-08T10:18:07Zby Lipschutz, Seymour<br/>Author Lipschutz, Seymour<br/>Format: Books<br/>Call Number QA162 L56 1976 f<br/>Publisher McGraw-Hill,<br/>Publication Date 1976<br/>ISBN 9780070379817<br/>Conceptual models in mathematics : sets, logic and probabilityent://SD_ILS/0/SD_ILS:4389182024-05-08T10:18:07Z2024-05-08T10:18:07Zby Hirst, K. E.<br/>Author Hirst, K. E., Rhodes, R.<br/>Format: Books<br/>Call Number QA248 H57 1971<br/>Publisher G Allen and Unwin,<br/>Publication Date 1971<br/>ISBN 9780045100347<br/>A comprehensive textbook of classical mathematics : a contemporary interpretationent://SD_ILS/0/SD_ILS:4777762024-05-08T10:18:07Z2024-05-08T10:18:07Zby Griffiths, Hubert Brian<br/>Author Griffiths, Hubert Brian, Hilton, Peter John<br/>Format: Books<br/>Call Number QA9.3 G75 1970<br/>Publisher Van Nostrand,<br/>Publication Date 1970<br/>ISBN 442028644<br/>Mathematical logic and the foundations of mathematics; and introductory surverent://SD_ILS/0/SD_ILS:4817802024-05-08T10:18:07Z2024-05-08T10:18:07Zby Kneebone, G. T.<br/>Author Kneebone, G. T.<br/>Format: Books<br/>Call Number QA9 K673 1963<br/>Publisher D Van Nostrand,<br/>Publication Date 1963<br/>Logic, semantics, mathematics : papers from 1923 to 1938ent://SD_ILS/0/SD_ILS:2525022024-05-08T10:18:07Z2024-05-08T10:18:07Zby Tarski, Alfred<br/>Author Tarski, Alfred, Woodger, J. H.<br/>Format: Books<br/>Call Number BC135 T365 1956<br/>Publisher Clarendon Press,<br/>Publication Date 1956<br/>The foundation of mathematics and other logical essaysent://SD_ILS/0/SD_ILS:2964332024-05-08T10:18:07Z2024-05-08T10:18:07Zby Ramsey, Frank Plumpton<br/>Author Ramsey, Frank Plumpton, Braithwaite, Richard Bevan<br/>Format: Books<br/>Call Number QA9 R342 1931<br/>Publisher Routledge and Kegan Paul,<br/>Publication Date 1931<br/>Logic : proofent://SD_ILS/0/SD_ILS:4744792024-05-08T10:18:07Z2024-05-08T10:18:07Zby Open University. Mathematics Foundation Course Team<br/>Author Open University. Mathematics Foundation Course Team<br/>Format: Books<br/>Call Number QA11 O64 1971 j17 f<br/>Publisher Open University Press,<br/>Publication Date 1971<br/>ISBN 335010164<br/>Logic I : Boolean algebraent://SD_ILS/0/SD_ILS:2925732024-05-08T10:18:07Z2024-05-08T10:18:07Zby Open University. Mathematics Foundation Course Team<br/>Author Open University. Mathematics Foundation Course Team<br/>Format: Books<br/>Call Number QA11 O64 1971 j11 f<br/>Publisher Open University Press,<br/>Publication Date 1971<br/>ISBN 9780335010103<br/>Sets, logic and categoriesent://SD_ILS/0/SD_ILS:4263722024-05-08T10:18:07Z2024-05-08T10:18:07Zby Cameron, Peter J. (Peter Jephson), 1947-<br/>Author Cameron, Peter J. (Peter Jephson), 1947-<br/>Format: Books<br/>Call Number QA248 C35 1998<br/>Publisher Springer,<br/>Publication Date 1998<br/>ISBN 9781852330569<br/>Proof in geometryent://SD_ILS/0/SD_ILS:1808762024-05-08T10:18:07Z2024-05-08T10:18:07Zby Fetisov, A. I.<br/>Author Fetisov, A. I.<br/>Format: Books<br/>Call Number QA445 .F48 1963<br/>Publisher D C Heath,<br/>Publication Date 1963<br/>ISBN 9780669196795<br/>Logic-based decision support : mixed integer model formulationent://SD_ILS/0/SD_ILS:1832742024-05-08T10:18:07Z2024-05-08T10:18:07Zby Jeroslow, Robert G.<br/>Author Jeroslow, Robert G.<br/>Format: Books<br/>Call Number T58.62 J47 1989<br/>Publisher Elsevier Science,<br/>Publication Date 1989<br/>ISBN 9780444871190<br/>A course in mathematical logicent://SD_ILS/0/SD_ILS:4834452024-05-08T10:18:07Z2024-05-08T10:18:07Zby Manin, Iu I<br/>Author Manin, Iu I<br/>Format: Books<br/>Call Number QA9 M29 1977<br/>Publisher Springer-Verlag,<br/>Publication Date 1977<br/>ISBN 9780387902432<br/>Mathematical logicent://SD_ILS/0/SD_ILS:4836742024-05-08T10:18:07Z2024-05-08T10:18:07Zby Monk, James Donald<br/>Author Monk, James Donald<br/>Format: Books<br/>Call Number QA9 M65 1976<br/>Publisher Springer-Verlag,<br/>Publication Date 1976<br/>ISBN 9780387901701<br/>An algebraic introduction to mathematical logicent://SD_ILS/0/SD_ILS:1538532024-05-08T10:18:07Z2024-05-08T10:18:07Zby Barnes, Donald W.<br/>Author Barnes, Donald W., Mack, John M.<br/>Format: Books<br/>Call Number QA9 B27 1975<br/>Publisher Springer-Verleg,<br/>Publication Date 1975<br/>Introduction to symbolic logicent://SD_ILS/0/SD_ILS:2524982024-05-08T10:18:07Z2024-05-08T10:18:07Zby Smith, Karl J.<br/>Author Smith, Karl J.<br/>Format: Books<br/>Call Number BC135 S45 1974<br/>Publisher Brooks/Cole,<br/>Publication Date 1974<br/>ISBN 9780818501159<br/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:7492112024-05-08T10:18:07Z2024-05-08T10:18:07Zby Mendelson, Elliott<br/>Author Mendelson, Elliott<br/>Format: Books<br/>Call Number QA9 M44 2010<br/>Edition 5th ed.<br/>Publisher CRC Press,<br/>Publication Date 2010<br/>ISBN 9781584888765<br/>Logic, automato, and algorithmsent://SD_ILS/0/SD_ILS:2991012024-05-08T10:18:07Z2024-05-08T10:18:07Zby Aiserman, Mark A.<br/>Author Aiserman, Mark A.<br/>Format: Books<br/>Call Number QA267.5.S4 L6 1971<br/>Publisher Academic Press,<br/>Publication Date 1971<br/>ISBN 9780120463503<br/>Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costaent://SD_ILS/0/SD_ILS:1487442024-05-08T10:18:07Z2024-05-08T10:18:07Zby De Alcantara, Luiz Paulo<br/>Author De Alcantara, Luiz Paulo<br/>Format: Books<br/>Call Number QA9.2 M37 1985<br/>Publisher Marcel Dekker,<br/>Publication Date 1985<br/>ISBN 9780824773304<br/>Selected topics in algebra and its interrelations with logic, number theory and algebraic geometryent://SD_ILS/0/SD_ILS:2388632024-05-08T10:18:07Z2024-05-08T10:18:07Zby Bucur, Ionel, 1930-1976<br/>Author Bucur, Ionel, 1930-1976<br/>Format: Books<br/>Call Number QA155 B92 1984<br/>Publisher D Reidel Pub ,<br/>Publication Date 1984<br/>ISBN 9789027716712<br/>logic for mathematiciansent://SD_ILS/0/SD_ILS:2524282024-05-08T10:18:07Z2024-05-08T10:18:07Zby Rosser, J. Barkley<br/>Author Rosser, J. Barkley<br/>Format: Books<br/>Call Number BC135 R67 1953<br/>Publisher McGraw - Hill,<br/>Publication Date 1953<br/>Intuitionistic logic model theory and forcingent://SD_ILS/0/SD_ILS:4818442024-05-08T10:18:07Z2024-05-08T10:18:07Zby Fitting, Melvin, 1942-<br/>Author Fitting, Melvin, 1942-<br/>Format: Books<br/>Call Number QA9 F57 1969<br/>Publisher North Holland,<br/>Publication Date 1969<br/>ISBN 720422566<br/>Handbook of mathematical logicent://SD_ILS/0/SD_ILS:3928372024-05-08T10:18:07Z2024-05-08T10:18:07Zby Barwise, Jon<br/>Author Barwise, Jon<br/>Format: Books<br/>Call Number QA9 H32 1977<br/>Publisher North-Holland,<br/>Publication Date 1977<br/>ISBN 9780720422856<br/>Large infinitary languages : model theoryent://SD_ILS/0/SD_ILS:1488552024-05-08T10:18:07Z2024-05-08T10:18:07Zby Dickmann, M. A.<br/>Author Dickmann, M. A.<br/>Format: Books<br/>Call Number QA9.37 D52 1975<br/>Publisher American Elsevier Pub.,<br/>Publication Date 1975<br/>ISBN 9780444106223<br/>Combinatory logicent://SD_ILS/0/SD_ILS:1496752024-05-08T10:18:07Z2024-05-08T10:18:07Zby Curry, Haskell Brooks<br/>Author Curry, Haskell Brooks, Feys, Robert, Craig, William<br/>Format: Books<br/>Call Number QA37.5 C87 1974<br/>Publisher North-Holland,<br/>Publication Date 1974<br/>Elements of mathematical logic (model theory)ent://SD_ILS/0/SD_ILS:4849772024-05-08T10:18:07Z2024-05-08T10:18:07Zby Kreisel, G.<br/>Author Kreisel, G., Krivine, J. L.<br/>Format: Books<br/>Call Number QA9 K74 1971<br/>Edition 2nd rev ed<br/>Publisher North-Holland,<br/>Publication Date 1971<br/>ISBN 9780720422658<br/>Model theory for infinitary logic : logic with countable conjunctions and finite quantifiersent://SD_ILS/0/SD_ILS:4857802024-05-08T10:18:07Z2024-05-08T10:18:07Zby 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/>The logical systems of Lesniewskient://SD_ILS/0/SD_ILS:4785482024-05-08T10:18:07Z2024-05-08T10:18:07Zby Luschei, Eugene C.<br/>Author Luschei, Eugene C.<br/>Format: Books<br/>Call Number QA9 L88 1962<br/>Publisher North-Holland,<br/>Publication Date 1962<br/>Logic and arithemeticent://SD_ILS/0/SD_ILS:1538152024-05-08T10:18:07Z2024-05-08T10:18:07Zby Bostock, David<br/>Author Bostock, David<br/>Format: Books<br/>Call Number QA9 B67 1979<br/>Publisher Clarendon Press.,<br/>Publication Date 2020 2019 2018 2017 2016<br/>ISBN 9780198243663 9780198245919<br/>Alan Turing : his work and impactent://SD_ILS/0/SD_ILS:8283692024-05-08T10:18:07Z2024-05-08T10:18:07Zby Cooper, S. B. (S. Barry), author<br/>Author Cooper, S. B. (S. Barry), author, Leeuwen, J. van (Jan), author<br/>Format: Books<br/>Call Number QA29.T8 C66 2013 f<br/>Publisher Elsevier,<br/>Publication Date 2013<br/>ISBN 9780123869807<br/>Elements of logical reasoningent://SD_ILS/0/SD_ILS:8318082024-05-08T10:18:07Z2024-05-08T10:18:07Zby Von Plato, Jan author<br/>Author Von Plato, Jan author<br/>Format: Books<br/>Call Number QA9 V66 2013<br/>Publisher Cambridge Univ Pr.,<br/>Publication Date 2013<br/>ISBN 9781107036598 9781107610774<br/>What logics mean : from proof theory to model-theoretic semanticsent://SD_ILS/0/SD_ILS:8328572024-05-08T10:18:07Z2024-05-08T10:18:07Zby Garson, James W., 1943-<br/>Author Garson, James W., 1943-<br/>Format: Books<br/>Call Number BC71 G37 2013<br/>Publisher Cambridge University Press,<br/>Publication Date 2013<br/>ISBN 9781107039100<br/>Word and objectent://SD_ILS/0/SD_ILS:8418932024-05-08T10:18:07Z2024-05-08T10:18:07Zby Quine, W. V. (Willard Van Orman), author<br/>Author Quine, W. V. (Willard Van Orman), author<br/>Format: Books<br/>Call Number B840 Q56 2013<br/>Edition New edition<br/>Publisher MIT Press,<br/>Publication Date 2013<br/>ISBN 9780262518314<br/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:8156912024-05-08T10:18:07Z2024-05-08T10:18:07Zby Walicki, Michał<br/>Author Walicki, Michał<br/>Format: Books<br/>Call Number QA9 W354 2012<br/>Publisher World Scientific,<br/>Publication Date 2012<br/>ISBN 9789814343862 9789814343879<br/>Qualitative spatial and temporal reasoningent://SD_ILS/0/SD_ILS:7853752024-05-08T10:18:07Z2024-05-08T10:18:07Zby Ligozat, Gérard<br/>Author Ligozat, Gérard<br/>Format: Books<br/>Call Number Q339.25 L544 2012<br/>Publisher ISTE ; Wiley,<br/>Publication Date 2012<br/>ISBN 9781848212527<br/>Discrete structures with contemporary applicationsent://SD_ILS/0/SD_ILS:7639362024-05-08T10:18:07Z2024-05-08T10:18:07Zby Stanoyevitch, Alexander<br/>Author Stanoyevitch, Alexander<br/>Format: Books<br/>Call Number QA76.9.M35 S73 2011<br/>Publisher CRC Press,<br/>Publication Date 2011<br/>ISBN 9781439817681<br/>Granularity analysis for tutoring mathematical proofsent://SD_ILS/0/SD_ILS:7785332024-05-08T10:18:07Z2024-05-08T10:18:07Zby Schiller, Marvin R. G.<br/>Author Schiller, Marvin R. G.<br/>Format: Books<br/>Call Number QA9.54 S24 2011<br/>Publisher IOS Press,<br/>Publication Date 2011<br/>ISBN 9781607507192<br/>Roger Penrose : collected worksent://SD_ILS/0/SD_ILS:7827882024-05-08T10:18:07Z2024-05-08T10:18:07Zby Penrose, Roger, author<br/>Author Penrose, Roger, author<br/>Format: Books<br/>Call Number QC19.3 P46 2011 v.1<br/>Publisher Oxford University Press,<br/>Publication Date 2011<br/>ISBN 9780199219445 9780199219360 9780199219377 9780199219384 9780199219391<br/>Diamond : a paradox logicent://SD_ILS/0/SD_ILS:7680402024-05-08T10:18:07Z2024-05-08T10:18:07Zby Hellerstein, N. S.<br/>Author Hellerstein, N. S.<br/>Format: Books<br/>Call Number QA9 H396 2010<br/>Edition 2nd ed.<br/>Publisher World Scientific,<br/>Publication Date 2010<br/>ISBN 9789814287135<br/>Understanding computers' intelligence : celebrating the 100th volume of Fundamenta Informaticae in honour of Helena Rosiowaent://SD_ILS/0/SD_ILS:7719502024-05-08T10:18:07Z2024-05-08T10:18:07Zby Niwiński, Damian<br/>Author Niwiński, Damian<br/>Format: Books<br/>Call Number QA9.2 U534 2010<br/>Publisher IOS Press,<br/>Publication Date 2010<br/>ISBN 9781607506225<br/>Conditional and preferential logics : proof methods and theorem provingent://SD_ILS/0/SD_ILS:7725562024-05-08T10:18:07Z2024-05-08T10:18:07Zby Pozzato, Gian Luca<br/>Author Pozzato, Gian Luca<br/>Format: Books<br/>Call Number QA9 P69 2010<br/>Publisher IOS Press,<br/>Publication Date 2010<br/>ISBN 9781607500940<br/>Grammatical inference : learning automata and grammarsent://SD_ILS/0/SD_ILS:4023512024-05-08T10:18:07Z2024-05-08T10:18:07Zby De la Higuera, Colin<br/>Author De la Higuera, Colin<br/>Format: Books<br/>Call Number QA267.3 D4 2010<br/>Publisher Cambridge University Press,<br/>Publication Date 2010<br/>ISBN 9780521763165<br/>Discrete structures, logic, and computabilityent://SD_ILS/0/SD_ILS:8410712024-05-08T10:18:07Z2024-05-08T10:18:07Zby Hein, James L.<br/>Author Hein, James L.<br/>Format: Books<br/>Call Number QA76.9.M35 H45 2010<br/>Edition 3rd ed.<br/>Publisher Jones and Bartlett Publishers,<br/>Publication Date 2010<br/>ISBN 9780763772062<br/>Logic functions and equations : examples and exercisesent://SD_ILS/0/SD_ILS:3194442024-05-08T10:18:07Z2024-05-08T10:18:07Zby Steinbach, Bernd<br/>Author Steinbach, Bernd, Posthoff, Christian<br/>Format: Books<br/>Call Number QA76.9.L63 S73 2009<br/>Publisher Springer,<br/>Publication Date 2009<br/>ISBN 9781402095948<br/>Temporal logic and state systemsent://SD_ILS/0/SD_ILS:2543652024-05-08T10:18:07Z2024-05-08T10:18:07Zby Kroger, Fred, 1945-<br/>Author Kroger, Fred, 1945-, Merz, Stephan<br/>Format: Books<br/>Call Number BC199.T4 K76 2008<br/>Publisher Springer-Verlag,<br/>Publication Date 2008<br/>ISBN 9783540674016<br/>Logics of specification languagesent://SD_ILS/0/SD_ILS:2545932024-05-08T10:18:07Z2024-05-08T10:18:07Zby Bjorner, D. (Dines), 1937-<br/>Author Bjorner, D. (Dines), 1937-, Henson, Martin C.<br/>Format: Books<br/>Call Number QA76.7 L63 2008<br/>Publisher Springer-Verlag,<br/>Publication Date 2008<br/>ISBN 9783540741060<br/>A course on mathematical logicent://SD_ILS/0/SD_ILS:3446902024-05-08T10:18:07Z2024-05-08T10:18:07Zby Srivastava, S. M. (Shashi Mohan)<br/>Author Srivastava, S. M. (Shashi Mohan), Godel, Kurt<br/>Format: Books<br/>Call Number QA9 S644 2008<br/>Publisher Springer,<br/>Publication Date 2008<br/>ISBN 9780387762753<br/>Logic for computer scientistsent://SD_ILS/0/SD_ILS:3521272024-05-08T10:18:07Z2024-05-08T10:18:07Zby Schoning, Uwe<br/>Author Schoning, Uwe<br/>Format: Books<br/>Call Number QA9 S36 2008<br/>Publisher Birkh�auser,<br/>Publication Date 2008<br/>ISBN 9780817647629<br/>Logica universalis : towards a general theory of logicent://SD_ILS/0/SD_ILS:2238602024-05-08T10:18:07Z2024-05-08T10:18:07Zby 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/>Handbook of Spatial Logicsent://SD_ILS/0/SD_ILS:5177802024-05-08T10:18:07Z2024-05-08T10:18:07Zby Aiello, Marco<br/>Author Aiello, Marco, Benthem, Johan, Pratt-Hartmann, Ian, SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 000896<br/>Publisher Springer,<br/>Publication Date 2007<br/>ISBN 9781402055874 9781402055867<br/><a href="http://dx.doi.org/10.1007/978-1-4020-5587-4">Full Text</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>Logic, sets, and recursionent://SD_ILS/0/SD_ILS:1950822024-05-08T10:18:07Z2024-05-08T10:18:07Zby Causey, Robert L.<br/>Author Causey, Robert L.<br/>Format: Books<br/>Call Number QA9 C38 2006<br/>Edition 2nd ed.<br/>Publisher Jones and Barlett,<br/>Publication Date 2006<br/>ISBN 9780763737849<br/>Classical mathematical logic : the semantic foundations of logicent://SD_ILS/0/SD_ILS:1960122024-05-08T10:18:07Z2024-05-08T10:18:07Zby Epstein, Richard L., 1947-<br/>Author Epstein, Richard L., 1947-<br/>Format: Books<br/>Call Number QA9 E67 2006<br/>Publisher Princeton University Press,<br/>Publication Date 2006<br/>ISBN 9780691123004<br/>Techniques of constructive analysisent://SD_ILS/0/SD_ILS:5154192024-05-08T10:18:07Z2024-05-08T10:18:07Zby Bridges, Douglas S.<br/>Author Bridges, Douglas S., Vita, Luminita Simona, SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 000056<br/>Publisher Springer Science+Business Media, LLC,<br/>Publication Date 2006<br/>ISBN 9780387381473<br/><a href="http://dx.doi.org/10.1007/978-0-387-38147-3">Full Text</a><br/>Accessible within UTM campus<br/>Adapting proofs-as-programs : the curry - howard protocolent://SD_ILS/0/SD_ILS:3843002024-05-08T10:18:07Z2024-05-08T10:18:07Zby Poernomo, Iman Hafiz<br/>Author Poernomo, Iman Hafiz, Crossley, John N., Wirsing, M. (Martin)<br/>Format: Books<br/>Call Number QA9.54 P64 2005<br/>Publisher Springer,<br/>Publication Date 2005<br/>ISBN 9780387237596<br/>A tour through mathematical logicent://SD_ILS/0/SD_ILS:7670342024-05-08T10:18:07Z2024-05-08T10:18:07Zby Wolf, Robert S.<br/>Author Wolf, Robert S.<br/>Format: Books<br/>Call Number QA9 W65 2005<br/>Publisher Mathematical Association of America,<br/>Publication Date 2005<br/>ISBN 9780883850428 9780883850367<br/>A tour through mathematical logicent://SD_ILS/0/SD_ILS:2883592024-05-08T10:18:07Z2024-05-08T10:18:07Zby Wolf, Robert S.<br/>Author Wolf, Robert S.<br/>Format: Books<br/>Call Number QA9 W648 2005<br/>Publisher The Mathematical Association of America,<br/>Publication Date 2005<br/>ISBN 9780883850367<br/>Fundamentals of mathematical logicent://SD_ILS/0/SD_ILS:3642182024-05-08T10:18:07Z2024-05-08T10:18:07Zby 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/>Reasoning about uncertaintyent://SD_ILS/0/SD_ILS:3291392024-05-08T10:18:07Z2024-05-08T10:18:07Zby Halpern, Joseph Y., 1953-<br/>Author Halpern, Joseph Y., 1953-<br/>Format: Books<br/>Call Number Q375 H34 2005<br/>Publisher The MIT Press,<br/>Publication Date 2005<br/>ISBN 9780262582599<br/>Logic and structureent://SD_ILS/0/SD_ILS:4483702024-05-08T10:18:07Z2024-05-08T10:18:07Zby Dalen, D. van (Dirk), 1932-<br/>Author Dalen, D. van (Dirk), 1932-<br/>Format: Books<br/>Call Number QA9 D34 2004<br/>Edition 4th ed.<br/>Publisher Springer-Verlag,<br/>Publication Date 2004<br/>ISBN 9783540208792<br/>Logic functions and equations : binary models for computer scienceent://SD_ILS/0/SD_ILS:4640352024-05-08T10:18:07Z2024-05-08T10:18:07Zby Posthoff, Christian<br/>Author Posthoff, Christian, Steinbach, Bernd<br/>Format: Books<br/>Call Number QA76.9.L63 P67 2004<br/>Publisher Springer,<br/>Publication Date 2004<br/>ISBN 9781402029370<br/>Reasoning about theoretical entitiesent://SD_ILS/0/SD_ILS:3994292024-05-08T10:18:07Z2024-05-08T10:18:07Zby Forster, Thomas<br/>Author Forster, Thomas<br/>Format: Books<br/>Call Number QA9.4 F67 2003<br/>Publisher World Scientific,<br/>Publication Date 2003<br/>ISBN 9789812385673<br/>Mathematical logic for computer scienceent://SD_ILS/0/SD_ILS:3102562024-05-08T10:18:07Z2024-05-08T10:18:07Zby Ben-Ari, Mordechai<br/>Author Ben-Ari, Mordechai<br/>Format: Books<br/>Call Number QA9 B364 2003<br/>Edition 2rd ed.<br/>Publisher Springer,<br/>Publication Date 2003<br/>ISBN 9781852333195<br/>Symbolic logicent://SD_ILS/0/SD_ILS:1503042024-05-08T10:18:07Z2024-05-08T10:18:07Zby Jacquette, Dale<br/>Author Jacquette, Dale<br/>Format: Books<br/>Call Number BC135 J25 2001<br/>Publisher Wadsworth Publishing,<br/>Publication Date 2001<br/>ISBN 9780534537302<br/>Gentzens problem : mathematische logik im nationalsozialistischen Deutschlandent://SD_ILS/0/SD_ILS:1526352024-05-08T10:18:07Z2024-05-08T10:18:07Zby Menzier-Trott, Eckart<br/>Author Menzier-Trott, Eckart, Von Plato, Jan<br/>Format: Books<br/>Call Number QA29.G4 M46 2001<br/>Publisher Birkhauser Verlag,<br/>Publication Date 2001<br/>ISBN 9783764365745<br/>Logic and structured design for computer programmersent://SD_ILS/0/SD_ILS:1600842024-05-08T10:18:07Z2024-05-08T10:18:07Zby Rood, Harold J.<br/>Author Rood, Harold J.<br/>Format: Books<br/>Call Number QA76.6 R62 2001<br/>Edition 3rd ed.<br/>Publisher Brooks/Cole,<br/>Publication Date 2001<br/>ISBN 9780534373863<br/>Logic coach III plus : symbolic logicent://SD_ILS/0/SD_ILS:5897492024-05-08T10:18:07Z2024-05-08T10:18:07Zby Pole, Nelson<br/>Author Pole, Nelson, Jacquette, Dale<br/>Format: Computer file<br/>Call Number CP 1877<br/>Publisher Wadsworth Publishing,<br/>Publication Date 2001<br/>ISBN 9780534537302<br/>Mathematical logic : collected works of A. M. Turingent://SD_ILS/0/SD_ILS:3133252024-05-08T10:18:07Z2024-05-08T10:18:07Zby Turing, Alan Mathison<br/>Author Turing, Alan Mathison, Gandy, R. O., Yates, C. M. E.<br/>Format: Books<br/>Call Number QA9.2 T87 2001<br/>Publisher North-Holland,<br/>Publication Date 2001<br/>ISBN 9780444504234<br/>Lectures on mathematical logicent://SD_ILS/0/SD_ILS:6226852024-05-08T10:18:07Z2024-05-08T10:18:07Zby Felscher, Walter<br/>Author Felscher, Walter<br/>Format: Books<br/>Call Number QA9.2 F44 2000 v.3<br/>Publisher Gordon and Breach Science Publishers,<br/>Publication Date 2000<br/>ISBN 9789056992682<br/>Learning to reason : an introduction to logic, sets and relationsent://SD_ILS/0/SD_ILS:3747492024-05-08T10:18:07Z2024-05-08T10:18:07Zby Rodgers, Nancy, 1941-<br/>Author Rodgers, Nancy, 1941-<br/>Format: Books<br/>Call Number QA9 R62 2000<br/>Publisher John Wiley & Sons,<br/>Publication Date 2000<br/>ISBN 9780471371229<br/>Foundations of digital logic designent://SD_ILS/0/SD_ILS:1557002024-05-08T10:18:07Z2024-05-08T10:18:07Zby Langholz, Gideon<br/>Author Langholz, Gideon<br/>Format: Books<br/>Call Number TK7888.4 L36 1998<br/>Publisher World Scientific Publishing,<br/>Publication Date 1998<br/>ISBN 9789810231101<br/>Logic review on CD-ROM : for Dos/Windowsent://SD_ILS/0/SD_ILS:5620252024-05-08T10:18:07Z2024-05-08T10:18:07Zby Cohen, Carl<br/>Author Cohen, Carl<br/>Format: Computer file<br/>Call Number CP 873<br/>Publisher Prentice-Hall,<br/>Publication Date 1998<br/>ISBN 9780130102027<br/>Proof, logic and conjecture : the mathematician's toolboxent://SD_ILS/0/SD_ILS:4328782024-05-08T10:18:07Z2024-05-08T10:18:07Zby Wolf, Robert S<br/>Author Wolf, Robert S<br/>Format: Books<br/>Call Number QA9 W64 1998<br/>Publisher W. H. Freeman,<br/>Publication Date 1998<br/>ISBN 9780716730507<br/>Elements of the theory of computationent://SD_ILS/0/SD_ILS:4724262024-05-08T10:18:07Z2024-05-08T10:18:07Zby Lewis, Harry R.<br/>Author Lewis, Harry R., Papadimitriou, Christos H.<br/>Format: Books<br/>Call Number QA267 L48 1998<br/>Edition 2nd ed.<br/>Publisher Prentice-Hall,<br/>Publication Date 1998<br/>ISBN 9780132624787<br/>Logic as algebraent://SD_ILS/0/SD_ILS:2883562024-05-08T10:18:07Z2024-05-08T10:18:07Zby Halmos, Paul<br/>Author Halmos, Paul, Givant, Steven R.<br/>Format: Books<br/>Call Number QA9 H343 1998<br/>Publisher The Mathematical Association of America,<br/>Publication Date 1998<br/>ISBN 9780883853276<br/>Introduction to logicent://SD_ILS/0/SD_ILS:1005292024-05-08T10:18:07Z2024-05-08T10:18:07Zby Copi, Irving M.<br/>Author Copi, Irving M., Cohen, Carl<br/>Format: Books<br/>Call Number BC108 C66 1998<br/>Edition 10th ed.<br/>Publisher Prentice-Hall,<br/>Publication Date 1998<br/>ISBN 9780130102027<br/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:3868382024-05-08T10:18:07Z2024-05-08T10:18:07Zby Mendelson, Elliott<br/>Author Mendelson, Elliott<br/>Format: Books<br/>Call Number QA9 M44 1997<br/>Edition 4th ed.<br/>Publisher Chapman & Hall/CRC,<br/>Publication Date 1997<br/>ISBN 9780412808302<br/>Handbook of logic and languageent://SD_ILS/0/SD_ILS:4561882024-05-08T10:18:07Z2024-05-08T10:18:07Zby Benthem, Johan Van<br/>Author Benthem, Johan Van, Meulen, Alice Ter<br/>Format: Books<br/>Call Number QA76.9.N38 H36 1997<br/>Publisher Elsevier,<br/>Publication Date 1997<br/>ISBN 9780444817143<br/>Logic for applicationsent://SD_ILS/0/SD_ILS:4594682024-05-08T10:18:07Z2024-05-08T10:18:07Zby Nerode, Anil<br/>Author Nerode, Anil, Shore, Richard A.<br/>Format: Books<br/>Call Number QA76.9.M35 N47 1997<br/>Publisher Springer-Verlag,<br/>Publication Date 1997<br/>ISBN 9780387948935<br/>Mantik dalam babak pemikiran ilmiah tamadun manusiaent://SD_ILS/0/SD_ILS:4578022024-05-08T10:18:07Z2024-05-08T10:18:07Zby Mat Rofa Ismail, editor<br/>Author Mat Rofa Ismail, editor<br/>Format: Books<br/>Call Number BC135 M66 1997<br/>Publisher DBP,<br/>Publication Date 1997<br/>ISBN 9789836252678<br/>Simulasi kawalan satu sistem kren dengan menggunakan logik fuzzient://SD_ILS/0/SD_ILS:6059182024-05-08T10:18:07Z2024-05-08T10:18:07Zby Sim, Alex Tze Hiang<br/>Author Sim, Alex Tze Hiang<br/>Format: Computer file<br/>Call Number DSK 1068 ra<br/>Publisher UTM,<br/>Publication Date 1996<br/>Mathematical logic and computabilityent://SD_ILS/0/SD_ILS:4736972024-05-08T10:18:07Z2024-05-08T10:18:07Zby Keisler, H. Jerome<br/>Author Keisler, H. Jerome, Robbin Joel<br/>Format: Books<br/>Call Number DSK 1310<br/>Publisher McGraw-Hill,<br/>Publication Date 1996<br/>ISBN 9780079129314<br/>Simulasi kawalan satu sistem kren dengan menggunakan logik fuzzient://SD_ILS/0/SD_ILS:4166732024-05-08T10:18:07Z2024-05-08T10:18:07Zby Sim, Alex Tze Hiang<br/>Author Sim, Alex Tze Hiang<br/>Format: Books<br/>Call Number QA9.64 S24 1996 raf<br/>Publisher UTM,<br/>Publication Date 1996<br/>Kertas Projek (Sarjana Muda Sains (Fizik Indsutri)) - Universiti Teknologi Malaysia, 1996<br/>Mathematical logic and computabilityent://SD_ILS/0/SD_ILS:4193092024-05-08T10:18:07Z2024-05-08T10:18:07Zby Keisler, H. Jerome<br/>Author Keisler, H. Jerome, Robbin Joel<br/>Format: Books<br/>Call Number QA9 K44 1996<br/>Publisher McGraw-Hill,<br/>Publication Date 1996<br/>ISBN 9780079129314<br/>Laser sebagai penjana rongga dalam cecair; Penderia sesaran optoelektronik menggunakan serabut optik sebagai elemen penderiaan; Menentukan keradioaktifan berbagai sampel tanah dan hubungkaitnya dengan latarbelakang geologi yang terdapat di kawasan bandaraya Johor Bahru; Penentuan selenium (IV) dalam air minuman awam negeri Perak Darul Ridzuan; Simulasi kawalan satu sistem kren dengan menggunakan logik fuzzient://SD_ILS/0/SD_ILS:214552024-05-08T10:18:07Z2024-05-08T10:18:07Zby Abdul Latif Ahmad<br/>Author Abdul Latif Ahmad, Abdul Latif Allah Pitchy, Ahmad Taba, Ashikin Zamri, Sim, Alex Tze Hiang<br/>Format: Visual Materials<br/>Call Number MFL 8605 ra<br/>Publisher Universiti Teknologi Malaysia,<br/>Publication Date 1996<br/>Kertas projek (Sarjana Muda Sains (Fizik Industri) - Universiti Teknologi Malaysia, 1996<br/>Mantik : penggunaan dalam pendidikan matematik dan pemikiranent://SD_ILS/0/SD_ILS:3754352024-05-08T10:18:07Z2024-05-08T10:18:07Zby Zaidatun Tasir, 1972-<br/>Author Zaidatun Tasir, 1972-<br/>Format: Books<br/>Call Number QA9 Z34 1995 raf<br/>Publisher UTM,<br/>Publication Date 1995<br/>Kertas Projek (Sarjana Muda Sains dan Komputer serta Pendidikan (Matematik)) - Universiti Teknologi Malaysia, 1995<br/>Persamaan terbitan biasa linear peringkat kedua; Penyediaan dan penggunaan karbon teraktif daripada tempurung kelapa sawit dalam analisis sebatian fenolik; Kajian kimia sebatian semula jadi daripada Boesenbergia Pandurata; Penyelesaian persamaan terbitan biasa dan persamaan terbitan separa dengan menggunakan kaedah beza terhingga; Mantik : penggunaan dalam pendidikan matematik dan pemikiranent://SD_ILS/0/SD_ILS:188732024-05-08T10:18:07Z2024-05-08T10:18:07Zby Che Moh Che Soh<br/>Author Che Moh Che Soh, Ho, Poh Wee, Neelavany Marimuthu, Pua, Chew Peng, Zaidatun Tasir, 1972-<br/>Format: Visual Materials<br/>Call Number MFL 8453 ra<br/>Publisher UTM,<br/>Publication Date 1995<br/>Kertas projek (Sarjana Muda Sains serta Pendidikan (Matematik)) - Universiti Teknologi Malaysia, 1995<br/>Mathematical logicent://SD_ILS/0/SD_ILS:3811322024-05-08T10:18:07Z2024-05-08T10:18:07Zby Ebbinghaus, Heinz-Dieter<br/>Author Ebbinghaus, Heinz-Dieter, Flum, Jorg, Thomas, W.<br/>Format: Books<br/>Call Number QA9 E22 1994<br/>Edition 2nd ed<br/>Publisher Springer-Verlag ,<br/>Publication Date 1994<br/>ISBN 9780387942582<br/>Foundations of computing : system development with set theory and logicent://SD_ILS/0/SD_ILS:4103722024-05-08T10:18:07Z2024-05-08T10:18:07Zby Scheurer, Thierry<br/>Author Scheurer, Thierry<br/>Format: Books<br/>Call Number QA76.9.S88 S33 1994<br/>Publisher Addison-Wesley,<br/>Publication Date 1994<br/>ISBN 9780201544299<br/>How to prove it : a structured approachent://SD_ILS/0/SD_ILS:3654442024-05-08T10:18:07Z2024-05-08T10:18:07Zby Velleman, Daniel J.<br/>Author Velleman, Daniel J.<br/>Format: Books<br/>Call Number QA9 V44 1994<br/>Publisher Cambridge University,<br/>Publication Date 1994<br/>ISBN 9780521441162<br/>Logic design theoryent://SD_ILS/0/SD_ILS:2975922024-05-08T10:18:07Z2024-05-08T10:18:07Zby Biswas, Nripendra Nath, 1928-<br/>Author Biswas, Nripendra Nath, 1928-<br/>Format: Books<br/>Call Number TK7888.4 B57 1993<br/>Publisher Prentice-Hall of India,<br/>Publication Date 1993<br/>ISBN 9788120308152<br/>Introduction to digital logic designent://SD_ILS/0/SD_ILS:3470872024-05-08T10:18:07Z2024-05-08T10:18:07Zby Hayes, John P.<br/>Author Hayes, John P.<br/>Format: Books<br/>Call Number TK7888.4 H29 1993<br/>Publisher Addison-Wesley,<br/>Publication Date 1993<br/>ISBN 9780201154610<br/>Logic : a foundation for computer scienceent://SD_ILS/0/SD_ILS:2717042024-05-08T10:18:07Z2024-05-08T10:18:07Zby Sperschneider, V.<br/>Author Sperschneider, V., Antoniou, Grigoris<br/>Format: Books<br/>Call Number QA76 S64 1993<br/>Publisher Addison-Wesley Pub,<br/>Publication Date 1993<br/>ISBN 9780201565140<br/>Asas bermantik dan berteori set bagi matematikent://SD_ILS/0/SD_ILS:1426552024-05-08T10:18:07Z2024-05-08T10:18:07Zby Zulauf, Achim<br/>Author Zulauf, Achim, Samsudin Abdullah<br/>Format: Books<br/>Call Number QA9 Z842 1992 a<br/>Publisher Unit Penerbitan UTM,<br/>Publication Date 1992<br/>ISBN 9789839585759<br/>Logic and structured design for computer programmersent://SD_ILS/0/SD_ILS:995562024-05-08T10:18:07Z2024-05-08T10:18:07Zby Rood, Harold J.<br/>Author Rood, Harold J.<br/>Format: Books<br/>Call Number QA76.6 R62 1992<br/>Edition 2nd ed.<br/>Publisher PSW-Kent Pub. Co.,<br/>Publication Date 1992<br/>ISBN 9780534929664<br/>Conditional logic in expertent://SD_ILS/0/SD_ILS:2931212024-05-08T10:18:07Z2024-05-08T10:18:07Zby Goodman, I. R.<br/>Author Goodman, I. R.<br/>Format: Books<br/>Call Number QA76.76 E95 C66 1991<br/>Publisher North Holland,<br/>Publication Date 1991<br/>ISBN 9780444888198<br/>Introduction to symbolic logicent://SD_ILS/0/SD_ILS:2672422024-05-08T10:18:07Z2024-05-08T10:18:07Zby Smith, Karl J.<br/>Author Smith, Karl J.<br/>Format: Books<br/>Call Number BC135 S45 1991<br/>Edition 2nd ed.<br/>Publisher Brooks/Cole Pub,<br/>Publication Date 1991<br/>ISBN 9780534149314<br/>How to read and do proofs : an introduction to mathematical thought processesent://SD_ILS/0/SD_ILS:2263202024-05-08T10:18:07Z2024-05-08T10:18:07Zby Solow, Daniel<br/>Author Solow, Daniel<br/>Format: Books<br/>Call Number QA9 S66 1990<br/>Edition 2nd ed.<br/>Publisher Wiley,<br/>Publication Date 1990<br/>ISBN 9780471510048<br/>Constructibility and mathematical existenceent://SD_ILS/0/SD_ILS:2938442024-05-08T10:18:07Z2024-05-08T10:18:07Zby Shihara, Charles S<br/>Author Shihara, Charles S<br/>Format: Books<br/>Call Number QA8.4 C45 1090<br/>Publisher Clarendon Press,<br/>Publication Date 1990<br/>ISBN 9780198248170<br/>Pengenalan logik digitent://SD_ILS/0/SD_ILS:2818402024-05-08T10:18:07Z2024-05-08T10:18:07Zby Potton, A.<br/>Author Potton, A., Mohamed Awang Lah<br/>Format: Books<br/>Call Number TK7888.3.P62 1990<br/>Publisher DBP,<br/>Publication Date 1990<br/>ISBN 9789836212917<br/>Technical methods in philosophyent://SD_ILS/0/SD_ILS:2672402024-05-08T10:18:07Z2024-05-08T10:18:07Zby Pollock, John L.<br/>Author Pollock, John L.<br/>Format: Books<br/>Call Number BC135 P64 1990<br/>Publisher Westriew Pr,<br/>Publication Date 1990<br/>ISBN 9780813378718<br/>Logic for computer scienceent://SD_ILS/0/SD_ILS:2739662024-05-08T10:18:07Z2024-05-08T10:18:07Zby Reeves, Steve<br/>Author Reeves, Steve, Clarke, Michael<br/>Format: Books<br/>Call Number QA9 R33 1990<br/>Publisher Addison-Wesley,<br/>Publication Date 1990<br/>ISBN 9780202416434<br/>Computation, logic, philosophy : a collection of essaysent://SD_ILS/0/SD_ILS:3310122024-05-08T10:18:07Z2024-05-08T10:18:07Zby Wang, Hao<br/>Author Wang, Hao<br/>Format: Books<br/>Call Number QA76.9.M35 W26 1990<br/>Publisher Kluwer Academic Pub.,<br/>Publication Date 1990<br/>ISBN 9787030002112<br/>Mathematical logic : applications and theoryent://SD_ILS/0/SD_ILS:1054132024-05-08T10:18:07Z2024-05-08T10:18:07Zby Rubin, Jean E.<br/>Author Rubin, Jean E.<br/>Format: Books<br/>Call Number QA9 R78 1990<br/>Publisher Saunders College Pub.,<br/>Publication Date 1990<br/>ISBN 9780030128080<br/>Computability and logicent://SD_ILS/0/SD_ILS:2439022024-05-08T10:18:07Z2024-05-08T10:18:07Zby Boolos, George<br/>Author Boolos, George, Jeffrey, Richard C.<br/>Format: Books<br/>Call Number QA248.5 B66 1989<br/>Edition 3rd ed.<br/>Publisher Cambridge University Press,<br/>Publication Date 1989<br/>ISBN 9780521380263<br/>Proofs and typesent://SD_ILS/0/SD_ILS:2680952024-05-08T10:18:07Z2024-05-08T10:18:07Zby Girard, Jean-Yves<br/>Author Girard, Jean-Yves, Taylor, Paul, Lafont, Yves<br/>Format: Books<br/>Call Number QA9.54 G57 1989<br/>Publisher Cambridge University Press,<br/>Publication Date 1989<br/>ISBN 9780521371810<br/>Algorithmics : theory and practiceent://SD_ILS/0/SD_ILS:1751272024-05-08T10:18:07Z2024-05-08T10:18:07Zby Brassard, Gilles<br/>Author Brassard, Gilles, Paul Bratley<br/>Format: Books<br/>Call Number QA9.58 B73 1988<br/>Publisher Prentice-Hall,<br/>Publication Date 1988<br/>ISBN 9780130231697<br/>Logic for mathematiciansent://SD_ILS/0/SD_ILS:2798242024-05-08T10:18:07Z2024-05-08T10:18:07Zby Hamilton, A. G.<br/>Author Hamilton, A. G.<br/>Format: Books<br/>Call Number QA9 H29 1988<br/>Edition Rev ed<br/>Publisher Cambridge Univ. Pr.,<br/>Publication Date 1988<br/>ISBN 9780521368650<br/>A formalization of set theory without variablesent://SD_ILS/0/SD_ILS:1319492024-05-08T10:18:07Z2024-05-08T10:18:07Zby Tarski, Alfred<br/>Author Tarski, Alfred, Givant, Steven<br/>Format: Books<br/>Call Number QA248 T37 1987<br/>Publisher American Mathematical Society,<br/>Publication Date 1987<br/>ISBN 9780821810415<br/>Temporal logics and their applicationsent://SD_ILS/0/SD_ILS:2890862024-05-08T10:18:07Z2024-05-08T10:18:07Zby Galton, Anthony<br/>Author Galton, Anthony<br/>Format: Books<br/>Call Number QA76.6 T441 1987<br/>Publisher Academic Press,<br/>Publication Date 1987<br/>ISBN 9780122740602<br/>Logic for computer science : foundations of automatic theorem provingent://SD_ILS/0/SD_ILS:1736472024-05-08T10:18:07Z2024-05-08T10:18:07Zby Gallier, Jean H.<br/>Author Gallier, Jean H.<br/>Format: Books<br/>Call Number QA76.9.A96 G34 1986<br/>Publisher Harper & Row,<br/>Publication Date 1986<br/>ISBN 9780060422257<br/>The logical basis for computer programmingent://SD_ILS/0/SD_ILS:1972742024-05-08T10:18:07Z2024-05-08T10:18:07Zby Manna, Zohar<br/>Author Manna, Zohar, Waldinger, Richard<br/>Format: Books<br/>Call Number QA76.6 M43 1985<br/>Publisher Addison-Wesley,<br/>Publication Date 1985<br/>Fundamentals of algebraic specification 1 : Equations and initial semanticsent://SD_ILS/0/SD_ILS:1713302024-05-08T10:18:07Z2024-05-08T10:18:07Zby Ehrig, H.<br/>Author Ehrig, H., Mahr, B.<br/>Format: Books<br/>Call Number QA266 E47 1985<br/>Publisher Springer-Verlag,<br/>Publication Date 1985<br/>ISBN 9780387137186<br/>Logic and structured design for computer programmersent://SD_ILS/0/SD_ILS:2945742024-05-08T10:18:07Z2024-05-08T10:18:07Zby Rood, Harold J.<br/>Author Rood, Harold J.<br/>Format: Books<br/>Call Number QA76.6 R62 1985 f<br/>Publisher PWS Pub.,<br/>Publication Date 1985<br/>ISBN 9780871508690<br/>Derivation of the algebraic system Jacobian matrix from bond graphs using a symbol manipulation techniqueent://SD_ILS/0/SD_ILS:208502024-05-08T10:18:07Z2024-05-08T10:18:07Zby Hamilton, Peter Seth<br/>Author Hamilton, Peter Seth<br/>Format: Visual Materials<br/>Call Number MFL 7505<br/>Publication Date 1984<br/>Thesis (Ph.D) -- University of Texas, Austin, 1984<br/>Introduction to logic programmingent://SD_ILS/0/SD_ILS:1808942024-05-08T10:18:07Z2024-05-08T10:18:07Zby Hogger, Christopher John<br/>Author Hogger, Christopher John<br/>Format: Books<br/>Call Number QA76.6 H64 1984<br/>Publisher Academic Press,<br/>Publication Date 1984<br/>ISBN 9780123520906<br/>The logic of programmingent://SD_ILS/0/SD_ILS:2943572024-05-08T10:18:07Z2024-05-08T10:18:07Zby Hehner, Eric C. R.<br/>Author Hehner, Eric C. R.<br/>Format: Books<br/>Call Number QA76.6 H43 1984<br/>Publisher Prentice Hall,<br/>Publication Date 1984<br/>ISBN 9780135399668<br/>Introduction to logic programmingent://SD_ILS/0/SD_ILS:2503192024-05-08T10:18:07Z2024-05-08T10:18:07Zby Hogger, Christopher John<br/>Author Hogger, Christopher John<br/>Format: Books<br/>Call Number QA76.6 H643 1985<br/>Publisher Academic Press,<br/>Publication Date 1984<br/>ISBN 9780029495100<br/>Understanding symbolic logicent://SD_ILS/0/SD_ILS:2671182024-05-08T10:18:07Z2024-05-08T10:18:07Zby Klenk, Virginia<br/>Author Klenk, Virginia<br/>Format: Books<br/>Call Number BC135 K63 1983<br/>Publisher Prentice Hall,<br/>Publication Date 1983<br/>ISBN 9780139364686<br/>Algebra and logicent://SD_ILS/0/SD_ILS:5496792024-05-08T10:18:07Z2024-05-08T10:18:07ZFormat: Continuing Resources<br/>Call Number QA150.A45 22no1-6(1983)<br/>Publisher Consultants Bureau,<br/>Publication Date 1983 1982 1981 1980 1979<br/>ISSN 00025232<br/>Logic, proof and setsent://SD_ILS/0/SD_ILS:2520152024-05-08T10:18:07Z2024-05-08T10:18:07Zby Bittinger, Marvin L.<br/>Author Bittinger, Marvin L.<br/>Format: Books<br/>Call Number BC135 B57 1982<br/>Edition 2nd ed.<br/>Publisher Addison - Wesley Publishing,<br/>Publication Date 1982<br/>ISBN 9780201103489<br/>Annals of mathematical logicent://SD_ILS/0/SD_ILS:5467632024-05-08T10:18:07Z2024-05-08T10:18:07ZFormat: Continuing Resources<br/>Call Number QA9.A55 j11-12(1977)<br/>Publisher North-Holland,<br/>Publication Date 1982 1981 1980 1979 1978<br/>ISSN 00034843<br/>The Boole - De Morgan Correspondence : 1842 - 1864ent://SD_ILS/0/SD_ILS:2525002024-05-08T10:18:07Z2024-05-08T10:18:07Zby Smith, G. C.<br/>Author Smith, G. C.<br/>Format: Books<br/>Call Number BC135 S64 1982<br/>Publisher Clarendon Press,<br/>Publication Date 1982<br/>ISBN 9780198531838<br/>Logic : databookent://SD_ILS/0/SD_ILS:4672802024-05-08T10:18:07Z2024-05-08T10:18:07Zby National Semiconductor<br/>Author National Semiconductor<br/>Format: Books<br/>Call Number QA9 L63 1981<br/>Publisher National Semiconductor Corporation,<br/>Publication Date 1981<br/>Mathematical logic in computer scienceent://SD_ILS/0/SD_ILS:3068062024-05-08T10:18:07Z2024-05-08T10:18:07Zby Domolki, B.<br/>Author Domolki, B., Gergely, Tamas<br/>Format: Books<br/>Call Number QA76.7 M37 1981<br/>Publisher North-Holland,<br/>Publication Date 1981<br/>ISBN 9780444854407<br/>Mathematical foundation of programmingent://SD_ILS/0/SD_ILS:1538702024-05-08T10:18:07Z2024-05-08T10:18:07Zby Beckman, Frank S.<br/>Author Beckman, Frank S.<br/>Format: Books<br/>Call Number QA9 B36 1980<br/>Publisher Addison-Wesley,<br/>Publication Date 1980<br/>ISBN 9780201144628<br/>Applied symbolic logicent://SD_ILS/0/SD_ILS:2772832024-05-08T10:18:07Z2024-05-08T10:18:07Zby Lynch, Edward P.<br/>Author Lynch, Edward P.<br/>Format: Books<br/>Call Number TP149.L96 1980<br/>Publisher John Wiley,<br/>Publication Date 1980<br/>ISBN 9780471062561<br/>Mathematical theory of program correctnessent://SD_ILS/0/SD_ILS:2968512024-05-08T10:18:07Z2024-05-08T10:18:07Zby Bakker, Jaco de<br/>Author Bakker, Jaco de<br/>Format: Books<br/>Call Number QA76.6 B34 1980<br/>Publisher Prentice-Hall,<br/>Publication Date 1980<br/>ISBN 9780135621325<br/>Logic techniques of formal reasoningent://SD_ILS/0/SD_ILS:2524052024-05-08T10:18:07Z2024-05-08T10:18:07Zby Kalish, Donald<br/>Author Kalish, Donald, Mar, Gary, Montaque, Richard<br/>Format: Books<br/>Call Number BC135 K26 1980<br/>Edition 2nd ed<br/>Publisher Harcourt Brace Jovanovich,<br/>Publication Date 1980<br/>ISBN 9780155511811<br/>Logic for problem solvingent://SD_ILS/0/SD_ILS:1163512024-05-08T10:18:07Z2024-05-08T10:18:07Zby Kowalski, Robert<br/>Author Kowalski, Robert<br/>Format: Books<br/>Call Number QA63 K68 1979<br/>Publisher North Holland,<br/>Publication Date 1979<br/>ISBN 9780444003652<br/>Logic and boolean algebraent://SD_ILS/0/SD_ILS:2951372024-05-08T10:18:07Z2024-05-08T10:18:07Zby Levitz, Kathleen<br/>Author Levitz, Kathleen, Levitz, Hilbert<br/>Format: Books<br/>Call Number QA9 L47 1979<br/>Publisher Barron's Educational Series, Inc.,<br/>Publication Date 1979<br/>ISBN 9780812005370<br/>Symbolic logicent://SD_ILS/0/SD_ILS:2520232024-05-08T10:18:07Z2024-05-08T10:18:07Zby Copi, Irving M.<br/>Author Copi, Irving M.<br/>Format: Books<br/>Call Number BC135 C66 1979<br/>Edition 5th ed.<br/>Publisher MacMillan,<br/>Publication Date 1979<br/>ISBN 9780023249808<br/>Introduction to mathematical logic : set theory computable functions model theoryent://SD_ILS/0/SD_ILS:4834592024-05-08T10:18:07Z2024-05-08T10:18:07Zby Malitz, J<br/>Author Malitz, J<br/>Format: Books<br/>Call Number QA9 M35 1979<br/>Publisher Springer-Verlag,<br/>Publication Date 1979<br/>ISBN 9780387903460<br/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:4838962024-05-08T10:18:07Z2024-05-08T10:18:07Zby Mendelson, Elliott<br/>Author Mendelson, Elliott<br/>Format: Books<br/>Call Number QA9 M46 1979<br/>Edition 2nd ed.<br/>Publisher D Van Nostrand,<br/>Publication Date 1979<br/>ISBN 9780442253073<br/>Foundations: essays in philosophy, logic, mathematical and economicsent://SD_ILS/0/SD_ILS:2524342024-05-08T10:18:07Z2024-05-08T10:18:07Zby Ramsey, Frank Plumpton<br/>Author Ramsey, Frank Plumpton<br/>Format: Books<br/>Call Number BC135 R35 1978<br/>Publisher Routledge & Kegan Paul,<br/>Publication Date 1978<br/>ISBN 9780710088093<br/>Multiple - conclusion logicent://SD_ILS/0/SD_ILS:2524402024-05-08T10:18:07Z2024-05-08T10:18:07Zby Shoesmith, D. J.<br/>Author Shoesmith, D. J., Smiley, T. J.<br/>Format: Books<br/>Call Number BC135 S56 1978<br/>Publisher Cambridge University Press,<br/>Publication Date 1978<br/>ISBN 9780521217651<br/>Logic for mathematiciansent://SD_ILS/0/SD_ILS:4817722024-05-08T10:18:07Z2024-05-08T10:18:07Zby Hamilton, Alan G.<br/>Author Hamilton, Alan G.<br/>Format: Books<br/>Call Number QA9 H29 1978<br/>Publisher Cambridge University Press,<br/>Publication Date 1978<br/>ISBN 9780521218382<br/>Discrete and switching functionsent://SD_ILS/0/SD_ILS:4821732024-05-08T10:18:07Z2024-05-08T10:18:07Zby Davio, Marc<br/>Author Davio, Marc, Deschamps, Jean-Pierre, 1945-, Thayse, Andre<br/>Format: Books<br/>Call Number QA10 D38 1978<br/>Publisher McGraw-Hill ,<br/>Publication Date 1978<br/>ISBN 9780070155091<br/>Quantum logicent://SD_ILS/0/SD_ILS:4853842024-05-08T10:18:07Z2024-05-08T10:18:07Zby Mittlestaedt, Peter<br/>Author Mittlestaedt, Peter<br/>Format: Books<br/>Call Number QC174.17.M35 M58 1978<br/>Publisher D Reidel,<br/>Publication Date 1978<br/>ISBN 9789027709257<br/>A programming logic : with an introduction to the PL/CV verifierent://SD_ILS/0/SD_ILS:3005182024-05-08T10:18:07Z2024-05-08T10:18:07Zby Constable, Robert L.<br/>Author Constable, Robert L., O'Donnell, Michael J.<br/>Format: Books<br/>Call Number QA76.73.P252 C66 1978<br/>Publisher Winthrop,<br/>Publication Date 1978<br/>ISBN 9780876267264<br/>Mathematical logic : an introduction to model theoryent://SD_ILS/0/SD_ILS:4834272024-05-08T10:18:07Z2024-05-08T10:18:07Zby 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/>Advanced logic for applicationsent://SD_ILS/0/SD_ILS:2520322024-05-08T10:18:07Z2024-05-08T10:18:07Zby Grandy, Richard E.<br/>Author Grandy, Richard E.<br/>Format: Books<br/>Call Number BC135 G73 1977<br/>Publisher D Reidel Pub,<br/>Publication Date 1977<br/>ISBN 9789027707819<br/>Yes-no; stop-go some patterns in mathematical logicent://SD_ILS/0/SD_ILS:4849222024-05-08T10:18:07Z2024-05-08T10:18:07Zby Gersting, Judith L.<br/>Author Gersting, Judith L., Kuczkowski, Joseph E.<br/>Format: Books<br/>Call Number QA9 G36 1977<br/>Publisher Thomas Y Crowell ,<br/>Publication Date 1977<br/>ISBN 9780690011302<br/>Mathematical logic, the theory of algorithms and theory of setsent://SD_ILS/0/SD_ILS:2972992024-05-08T10:18:07Z2024-05-08T10:18:07Zby Adjan, S.<br/>Author Adjan, S.<br/>Format: Books<br/>Call Number QA9 M36 1977<br/>Publisher American Mathematical Society,<br/>Publication Date 1977<br/>ISBN 9780821830338<br/>Foundations of mathematical logicent://SD_ILS/0/SD_ILS:2569372024-05-08T10:18:07Z2024-05-08T10:18:07Zby Curry, Haskell Brooks<br/>Author Curry, Haskell Brooks<br/>Format: Books<br/>Call Number QA9 C88 1977<br/>Publisher Dover,<br/>Publication Date 1977<br/>ISBN 9780486634623<br/>A course in mathematical logicent://SD_ILS/0/SD_ILS:4819552024-05-08T10:18:07Z2024-05-08T10:18:07Zby Bell, John Lane<br/>Author Bell, John Lane, Machover, Moshe<br/>Format: Books<br/>Call Number QA9 B4 1977<br/>Publisher North-Holland,<br/>Publication Date 1977<br/>ISBN 9780720428445<br/>Proofs and refutations : the logic of mathematical discoveryent://SD_ILS/0/SD_ILS:4727342024-05-08T10:18:07Z2024-05-08T10:18:07Zby Lakatos, Imre<br/>Author Lakatos, Imre, Worrall, John, Zahar, Elie<br/>Format: Books<br/>Call Number QA8.4 L34 1976<br/>Publisher Cambridge University Press,<br/>Publication Date 1976<br/>ISBN 9780521210782<br/>Elementary applied symbolic logicent://SD_ILS/0/SD_ILS:2524962024-05-08T10:18:07Z2024-05-08T10:18:07Zby Tapscott, Bangs L.<br/>Author Tapscott, Bangs L.<br/>Format: Books<br/>Call Number BC135 T26 1976<br/>Publisher Prentice - Hall,<br/>Publication Date 1976<br/>ISBN 9780132529402<br/>The logico-algebraic approach to quantum mechanicsent://SD_ILS/0/SD_ILS:2024862024-05-08T10:18:07Z2024-05-08T10:18:07Zby Hooker, C. A. (Clifford Alan), 1942-<br/>Author Hooker, C. A. (Clifford Alan), 1942-<br/>Format: Books<br/>Call Number QC174.12.L63 1975<br/>Publisher D. Reidel,<br/>Publication Date 1975<br/>ISBN v1 : 9027705674<br/>Completeness,compactness, and undercidability : an introduction to mathematical logicent://SD_ILS/0/SD_ILS:4834922024-05-08T10:18:07Z2024-05-08T10:18:07Zby Manaster, Alfred B.<br/>Author Manaster, Alfred B.<br/>Format: Books<br/>Call Number QA9 M25 1975<br/>Publisher Prentice Hall,<br/>Publication Date 1975<br/>ISBN 9780131646247<br/>Non-Archimedean utility theoryent://SD_ILS/0/SD_ILS:1315262024-05-08T10:18:07Z2024-05-08T10:18:07Zby Skala, Heinz J.<br/>Author Skala, Heinz J.<br/>Format: Books<br/>Call Number HB201 S64 1975<br/>Publisher D Reidel,<br/>Publication Date 1975<br/>ISBN 9789027703521<br/>Computability and logicent://SD_ILS/0/SD_ILS:4387572024-05-08T10:18:07Z2024-05-08T10:18:07Zby Boolos, George<br/>Author Boolos, George, Jeffrey, Richard<br/>Format: Books<br/>Call Number QA248.5 B66 1974<br/>Publisher Cambridge Univ.Pr.,<br/>Publication Date 1974<br/>ISBN 9780521204026<br/>Sets, logic and axiomatic theoriesent://SD_ILS/0/SD_ILS:4471242024-05-08T10:18:07Z2024-05-08T10:18:07Zby Stoll, Robert Roth<br/>Author Stoll, Robert Roth<br/>Format: Books<br/>Call Number QA248.3 S76 1974<br/>Edition 2nd ed.<br/>Publisher W H Freeman,<br/>Publication Date 1974<br/>ISBN 9780716704577<br/>Symbolic logicent://SD_ILS/0/SD_ILS:2520192024-05-08T10:18:07Z2024-05-08T10:18:07Zby Copi, Irving M.<br/>Author Copi, Irving M.<br/>Format: Books<br/>Call Number BC135 C58 1973<br/>Edition 8th ed.<br/>Publisher Macmillan,<br/>Publication Date 1973<br/>ISBN 9780029796801<br/>Modal logic : The lewis-modal systemsent://SD_ILS/0/SD_ILS:2617322024-05-08T10:18:07Z2024-05-08T10:18:07Zby Zeman, J. Jay<br/>Author Zeman, J. Jay<br/>Format: Books<br/>Call Number BC135 Z35 1973<br/>Publisher Clarendon Press,<br/>Publication Date 1973<br/>Symbolic logic and mechanical theorem provingent://SD_ILS/0/SD_ILS:4819232024-05-08T10:18:07Z2024-05-08T10:18:07Zby Chang, Chin-Ling<br/>Author Chang, Chin-Ling, Lee, Char-Tung, Richard<br/>Format: Books<br/>Call Number QA9 C53 1973<br/>Publisher Academic Press,<br/>Publication Date 1973<br/>ISBN 9780121703509<br/>Logicent://SD_ILS/0/SD_ILS:4835642024-05-08T10:18:07Z2024-05-08T10:18:07Zby Earle, Nick<br/>Author Earle, Nick<br/>Format: Books<br/>Call Number QA9 E17 1973<br/>Publisher MacMillan,<br/>Publication Date 1973<br/>ISBN 9780333113448<br/>Mathematical logicent://SD_ILS/0/SD_ILS:4845442024-05-08T10:18:07Z2024-05-08T10:18:07Zby Ponasse, Daniel<br/>Author Ponasse, Daniel<br/>Format: Books<br/>Call Number QA9.3 P6 1973<br/>Publisher Gordon and Breach,<br/>Publication Date 1973<br/>ISBN 9780677303901<br/>Symbolic logicent://SD_ILS/0/SD_ILS:2520352024-05-08T10:18:07Z2024-05-08T10:18:07Zby Grunberg, Teo<br/>Author Grunberg, Teo<br/>Format: Books<br/>Call Number BC135 G78 1972<br/>Publisher Faculty of Arts and Science, Middle East Technical University,<br/>Publication Date 1972<br/>A mathematical introduction to logicent://SD_ILS/0/SD_ILS:4817952024-05-08T10:18:07Z2024-05-08T10:18:07Zby Enderton, Herbert B.<br/>Author Enderton, Herbert B.<br/>Format: Books<br/>Call Number QA9 E4 1972<br/>Publisher Academic Press,<br/>Publication Date 1972<br/>ISBN 9780122384509<br/>Mathematical logic with special reference to the natural numbersent://SD_ILS/0/SD_ILS:4792392024-05-08T10:18:07Z2024-05-08T10:18:07Zby Steen, Stourton William Peile<br/>Author Steen, Stourton William Peile<br/>Format: Books<br/>Call Number QA9 S73 1972<br/>Publisher University Press,<br/>Publication Date 1972<br/>ISBN 9780521080538<br/>Five papers on logic and foundationsent://SD_ILS/0/SD_ILS:4832172024-05-08T10:18:07Z2024-05-08T10:18:07Zby American Mathematical Society<br/>Author American Mathematical Society, Ceitin, G. S.<br/>Format: Books<br/>Call Number QA9 A54 1972<br/>Publication Date 1972<br/>ISBN 9780821817995<br/>Switching circuits : theory and logic designent://SD_ILS/0/SD_ILS:4907062024-05-08T10:18:07Z2024-05-08T10:18:07Zby Torng, H. C.<br/>Author Torng, H. C.<br/>Format: Books<br/>Call Number TK7868.S9 T6 1972<br/>Publisher Addison-Wesley,<br/>Publication Date 1972<br/>Introduction to elementary mathematical logicent://SD_ILS/0/SD_ILS:4840192024-05-08T10:18:07Z2024-05-08T10:18:07Zby Stolyar, Abram Aronovich<br/>Author Stolyar, Abram Aronovich<br/>Format: Books<br/>Call Number QA9 S86 1970<br/>Publisher M.I.T. Press,<br/>Publication Date 1970<br/>ISBN 9780262190541<br/>Frege and Godel : rwo fundamental texts in mathematical logicent://SD_ILS/0/SD_ILS:2971822024-05-08T10:18:07Z2024-05-08T10:18:07Zby Van Heijenoort, Jean<br/>Author Van Heijenoort, Jean<br/>Format: Books<br/>Call Number QA9 F74 1970<br/>Publisher Harvard University Press,<br/>Publication Date 1970<br/>ISBN 9780674324503<br/>A profile of mathematical logicent://SD_ILS/0/SD_ILS:2547512024-05-08T10:18:07Z2024-05-08T10:18:07Zby Delong, Howard<br/>Author Delong, Howard<br/>Format: Books<br/>Call Number QA9 D44 1970<br/>Publisher Addision-Wesley,<br/>Publication Date 1970<br/>ISBN 9780201014990<br/>Term logic with choice operatorent://SD_ILS/0/SD_ILS:4817472024-05-08T10:18:07Z2024-05-08T10:18:07Zby Hermes, Hans<br/>Author Hermes, Hans<br/>Format: Books<br/>Call Number QA9 H47 1970<br/>Publisher Springer-Verlag,<br/>Publication Date 1970<br/>Logic, computers and setsent://SD_ILS/0/SD_ILS:4839532024-05-08T10:18:07Z2024-05-08T10:18:07Zby Wang, Hao<br/>Author Wang, Hao<br/>Format: Books<br/>Call Number QA9 W36 1970<br/>Publisher Chelsea Pub.,<br/>Publication Date 1970<br/>ISBN 828402450<br/>Introduction to symbolic logicent://SD_ILS/0/SD_ILS:2524192024-05-08T10:18:07Z2024-05-08T10:18:07Zby Pullum, Laura L.<br/>Author Pullum, Laura L.<br/>Format: Books<br/>Call Number BC135 P68 1969<br/>Publisher Holt, Rinehart and Winston,<br/>Publication Date 1969<br/>ISBN 9780030727658<br/>Mathematical reasoningent://SD_ILS/0/SD_ILS:4835282024-05-08T10:18:07Z2024-05-08T10:18:07Zby Harnadek, Anita<br/>Author Harnadek, Anita<br/>Format: Books<br/>Call Number QA9 H37 1969 f<br/>Edition Rev ed.<br/>Publisher Midwest,<br/>Publication Date 1969<br/>ISBN 9780910974059<br/>Theorem provingent://SD_ILS/0/SD_ILS:100392024-05-08T10:18:07Z2024-05-08T10:18:07ZFormat: Visual Materials<br/>Call Number KVD 887<br/>Publisher MIT,<br/>Publication Date 1969<br/>Solvable cases of the decision problement://SD_ILS/0/SD_ILS:4877692024-05-08T10:18:07Z2024-05-08T10:18:07Zby Ackermann, Wilhelm<br/>Author Ackermann, Wilhelm<br/>Format: Books<br/>Call Number QA9.65 A35 1954<br/>Publisher North-Holland ,<br/>Publication Date 1968 1954<br/>First-order logicent://SD_ILS/0/SD_ILS:4792712024-05-08T10:18:07Z2024-05-08T10:18:07Zby Smullyan, Raymond M.<br/>Author Smullyan, Raymond M.<br/>Format: Books<br/>Call Number QA9 S57 1968<br/>Publisher Springer-Verlag,<br/>Publication Date 1968<br/>ISBN 9780387040998<br/>Mathematical logicent://SD_ILS/0/SD_ILS:4750892024-05-08T10:18:07Z2024-05-08T10:18:07Zby Shoenfield, Joseph Robert<br/>Author Shoenfield, Joseph Robert<br/>Format: Books<br/>Call Number QA9 S56 1967<br/>Publisher Addison-Wesley Pub.,<br/>Publication Date 1967<br/>ISBN 9780201070286<br/>Algebraic methods of mathematical logicent://SD_ILS/0/SD_ILS:2963832024-05-08T10:18:07Z2024-05-08T10:18:07Zby Reiger, Ladislav<br/>Author Reiger, Ladislav<br/>Format: Books<br/>Call Number QA9 R54 1967<br/>Publisher Academic Press,<br/>Publication Date 1967<br/>ISBN 9780125880503<br/>Elements of mathematical logic and set theoryent://SD_ILS/0/SD_ILS:4792552024-05-08T10:18:07Z2024-05-08T10:18:07Zby Slupecki, J.<br/>Author Slupecki, J., Borkowski, L.<br/>Format: Books<br/>Call Number QA9 S6 1967<br/>Publisher Pergamon,<br/>Publication Date 1967<br/>ISBN 9780080110967<br/>Set theory and the continuum hypothesisent://SD_ILS/0/SD_ILS:1538282024-05-08T10:18:07Z2024-05-08T10:18:07Zby Cohen, Paul J.<br/>Author Cohen, Paul J.<br/>Format: Books<br/>Call Number QA9 C645 1966<br/>Publisher W A Benjamin,<br/>Publication Date 1966<br/>ISBN 9780805323276<br/>Logic and algorithms, with applications to the computer and information sciencesent://SD_ILS/0/SD_ILS:4816822024-05-08T10:18:07Z2024-05-08T10:18:07Zby Korfhage, Robert R.<br/>Author Korfhage, Robert R.<br/>Format: Books<br/>Call Number QA9 K67 1966<br/>Publisher J. Wiley,<br/>Publication Date 1966<br/>ISBN 9780471503651<br/>Techniques of deductive inferenceent://SD_ILS/0/SD_ILS:2524252024-05-08T10:18:07Z2024-05-08T10:18:07Zby Leblanc, Hugues, 1924-<br/>Author Leblanc, Hugues, 1924-<br/>Format: Books<br/>Call Number BC135 L42 1966<br/>Publisher Prentice Hall,<br/>Publication Date 1966<br/>Introductory real analysisent://SD_ILS/0/SD_ILS:4608102024-05-08T10:18:07Z2024-05-08T10:18:07Zby Munroe, M. Evans (Marshall Evans), 1918-<br/>Author Munroe, M. Evans (Marshall Evans), 1918-<br/>Format: Books<br/>Call Number QA300 M8 1965<br/>Publisher Addison-Wesley,<br/>Publication Date 1965<br/>Mistakes in geometric proofsent://SD_ILS/0/SD_ILS:3008952024-05-08T10:18:07Z2024-05-08T10:18:07Zby Dubnov, Ya. S.<br/>Author Dubnov, Ya. S.<br/>Format: Books<br/>Call Number QA445.D83 1963<br/>Publisher D C Heath,<br/>Publication Date 1965 1963<br/>ISBN 9780669196610<br/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:4838742024-05-08T10:18:07Z2024-05-08T10:18:07Zby Mendelson, Elliott<br/>Author Mendelson, Elliott<br/>Format: Books<br/>Call Number QA9 M46 1964<br/>Publisher D Van Nostrand,<br/>Publication Date 1964<br/>ISBN 9780442053000<br/>Elements of mathematical logicent://SD_ILS/0/SD_ILS:4833752024-05-08T10:18:07Z2024-05-08T10:18:07Zby Novikov, P. S.<br/>Author Novikov, P. S.<br/>Format: Books<br/>Call Number QA9 N69 1964<br/>Publisher Oliver and Boyd,<br/>Publication Date 1964<br/>ISBN 9780201053357<br/>Set theory and logicent://SD_ILS/0/SD_ILS:4472152024-05-08T10:18:07Z2024-05-08T10:18:07Zby Stoll, Robert Roth<br/>Author Stoll, Robert Roth<br/>Format: Books<br/>Call Number QA248 S79 1963<br/>Publisher W H Freeman,<br/>Publication Date 1963<br/>An introduction to mathematical machine theoryent://SD_ILS/0/SD_ILS:1230532024-05-08T10:18:07Z2024-05-08T10:18:07Zby Ginsburg, Seymour<br/>Author Ginsburg, Seymour<br/>Format: Books<br/>Call Number QA76 G56 1962<br/>Publisher Addison-Wesley,<br/>Publication Date 1962<br/>Theory of algorithmsent://SD_ILS/0/SD_ILS:4834752024-05-08T10:18:07Z2024-05-08T10:18:07Zby Markov, A. A.<br/>Author Markov, A. A.<br/>Format: Books<br/>Call Number QA9 M37 1962<br/>Publisher Israel Prog For Sci Trans,<br/>Publication Date 1962<br/>ISBN 9780706501346<br/>Symbolic logic and the game of logicent://SD_ILS/0/SD_ILS:2520122024-05-08T10:18:07Z2024-05-08T10:18:07Zby Carrol, Lewis<br/>Author Carrol, Lewis<br/>Format: Books<br/>Call Number BC135 C37 1958<br/>Publisher Dover Publications,<br/>Publication Date 1958<br/>Introduction to symbolic logicent://SD_ILS/0/SD_ILS:2520082024-05-08T10:18:07Z2024-05-08T10:18:07Zby Basson, A. H.<br/>Author Basson, A. H., O'Connor, D. J.<br/>Format: Books<br/>Call Number BC135 B3 1957<br/>Edition 2nd ed.<br/>Publisher University Turtorial Press,<br/>Publication Date 1957<br/>Mathematical logicent://SD_ILS/0/SD_ILS:4833882024-05-08T10:18:07Z2024-05-08T10:18:07Zby Goodstein, R. L. (Reuben Louis)<br/>Author Goodstein, R. L. (Reuben Louis)<br/>Format: Books<br/>Call Number QA9 G69 1957<br/>Publisher Leicester University Press,<br/>Publication Date 1957<br/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:5198542024-05-08T10:18:07Z2024-05-08T10:18:07Zby Church, Alonzo<br/>Author Church, Alonzo<br/>Format: Books<br/>Publisher Princeton University Press,<br/>Publication Date 1956<br/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:2520162024-05-08T10:18:07Z2024-05-08T10:18:07Zby Church, Alonzo<br/>Author Church, Alonzo<br/>Format: Books<br/>Call Number BC135 C42 1956<br/>Publisher Princeton University Press,<br/>Publication Date 1956<br/>Symbolic logicent://SD_ILS/0/SD_ILS:2520302024-05-08T10:18:07Z2024-05-08T10:18:07Zby Copi, Irving M.<br/>Author Copi, Irving M.<br/>Format: Books<br/>Call Number BC135 C66 1954<br/>Publisher Macmillan,<br/>Publication Date 1954<br/>An introduction to mathematical thoughtent://SD_ILS/0/SD_ILS:2964622024-05-08T10:18:07Z2024-05-08T10:18:07Zby Stabler, Edward Russell, 1906-<br/>Author Stabler, Edward Russell, 1906-<br/>Format: Books<br/>Call Number QA9 S712 1953<br/>Publisher Addison-Wesley ,<br/>Publication Date 1953<br/>Sentences undecidable in formalized arithmetic : an exposition of theory of Kurt Godelent://SD_ILS/0/SD_ILS:4856632024-05-08T10:18:07Z2024-05-08T10:18:07Zby Mostowski, Andrzej<br/>Author Mostowski, Andrzej<br/>Format: Books<br/>Call Number QA9.65 M68 1952<br/>Publisher North-Holland,<br/>Publication Date 1952<br/>Principles of mathematical logicent://SD_ILS/0/SD_ILS:2317972024-05-08T10:18:07Z2024-05-08T10:18:07Zby Hilbert, David<br/>Author Hilbert, David, Ackermann, W.<br/>Format: Books<br/>Call Number BC135 H514 1950<br/>Publisher Chelsea,<br/>Publication Date 1950<br/>Kigō ronri nyūmon.ent://SD_ILS/0/SD_ILS:8331642024-05-08T10:18:07Z2024-05-08T10:18:07Zby Maehara, Shōji<br/>Author Maehara, Shōji<br/>Format: Books<br/>Call Number BC135 M34 1967<br/>ISBN 9784535601048<br/>Proceedings of the 1975 International Symposium on Multiple-Valued logicent://SD_ILS/0/SD_ILS:4640962024-05-08T10:18:07Z2024-05-08T10:18:07Zby International Symposium on Multiple-Valued Logic, 5th, Indiana University, May 13-16, 1975<br/>Author International Symposium on Multiple-Valued Logic, 5th, Indiana University, May 13-16, 1975, IEEE Computer Society<br/>Format: Books<br/>Call Number TK7888.4.I57 1975<br/>Formal methods in artificial intelligenceent://SD_ILS/0/SD_ILS:2375482024-05-08T10:18:07Z2024-05-08T10:18:07Zby Ramsay, Allan<br/>Author Ramsay, Allan<br/>Format: Books<br/>Call Number Q335 R35 1988<br/>BUILDING PROOFS : A Practical Guideent://SD_ILS/0/SD_ILS:8669712024-05-08T10:18:07Z2024-05-08T10:18:07Zby Oliveira, Suely<br/>Author Oliveira, Suely, Stewart, David E., (David Edward), 1961-<br/>Format: Books<br/>Call Number QA9.54 O46 2015<br/>ISBN 9789814641296<br/>