Search Results for Logic, Symbolic and mathematicalSirsiDynix Enterprisehttp://portal.utm.my/client/en_AU/main/main/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical$0026ic$003dtrue$0026ps$003d300?dt=list2024-04-20T03:59:30ZLogic and arithemeticent://SD_ILS/0/SD_ILS:1538152024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Proceedings of the summer school and colloqium in mathematical logicent://SD_ILS/0/SD_ILS:1539232024-04-20T03:59:30Z2024-04-20T03:59:30Zby Logic Colloqium '69 : Proceedings of the summer school and colloqium in mathematical logic (August, 1969 : Manchester)<br/>Author Logic Colloqium '69 : Proceedings of the summer school and colloqium in mathematical logic (August, 1969 : Manchester), Gandy, R. O., Yates, C. M. E.<br/>Format: Books<br/>Call Number QA9.A1 L64 1969-<br/>Publisher North-Holland,<br/>Publication Date 2020 2019 2018 2017 2016<br/>Proceedings of Logic Colloquiument://SD_ILS/0/SD_ILS:2414872024-04-20T03:59:30Z2024-04-20T03:59:30Zby Logic Colloquium<br/>Author Logic Colloquium, Gandy, R. O.<br/>Format: Books<br/>Call Number QA9.A1 L64 1973<br/>Publisher North-Holland,<br/>Publication Date 2020 2019 2018 2017 2016<br/>Commonsense reasoning : an event calculus based approachent://SD_ILS/0/SD_ILS:8410392024-04-20T03:59:30Z2024-04-20T03:59:30Zby Mueller, Erik T.<br/>Author Mueller, Erik T.<br/>Format: Books<br/>Call Number Q338.85 M84 2015<br/>Edition 2nd ed.<br/>Publisher Morgan Kaufmann,<br/>Publication Date 2015<br/>ISBN 9780128014165<br/>Infinity and truthent://SD_ILS/0/SD_ILS:8190612024-04-20T03:59:30Z2024-04-20T03:59:30Zby Chong, C.-T. (Chi-Tat), 1949- editor<br/>Author Chong, C.-T. (Chi-Tat), 1949- editor<br/>Format: Books<br/>Call Number QA9.A1 I54 2014<br/>Publisher World Scientific,<br/>Publication Date 2014<br/>ISBN 9789814571036<br/>Alan Turing : his work and impactent://SD_ILS/0/SD_ILS:8283692024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>A concise introduction to pure mathematicsent://SD_ILS/0/SD_ILS:7492082024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Granularity analysis for tutoring mathematical proofsent://SD_ILS/0/SD_ILS:7785332024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Cognitive reasoning : a formal approachent://SD_ILS/0/SD_ILS:6405672024-04-20T03:59:30Z2024-04-20T03:59:30Zby Anshakov, O. M.<br/>Author Anshakov, O. M., Gergely, T. (Tamás)<br/>Format: Books<br/>Call Number QA9 A57 2010<br/>Publisher Springer,<br/>Publication Date 2010<br/>ISBN 9783540430582 9783540688754<br/>Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbersent://SD_ILS/0/SD_ILS:7657262024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Mathematics and mathematical logic : new researchent://SD_ILS/0/SD_ILS:7677932024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:7492112024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Diamond : a paradox logicent://SD_ILS/0/SD_ILS:7680402024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Introduction to mathematical proofs : a transitionent://SD_ILS/0/SD_ILS:6396842024-04-20T03:59:30Z2024-04-20T03:59:30Zby Roberts, Charles E., 1942-<br/>Author Roberts, Charles E., 1942-<br/>Format: Books<br/>Call Number QA9.54 R63 2009<br/>Publisher CRC Press,<br/>Publication Date 2009<br/>ISBN 9781420069556<br/>Is God a mathematician?ent://SD_ILS/0/SD_ILS:7974032024-04-20T03:59:30Z2024-04-20T03:59:30Zby Livio, Mario, 1945-<br/>Author Livio, Mario, 1945-<br/>Format: Books<br/>Call Number QA8.4 L58 2009 r<br/>Edition 1st Simon & Schuster hardcover ed.<br/>Publisher Simon & Schuster,<br/>Publication Date 2009<br/>ISBN 9780743294058<br/>Logic functions and equations : examples and exercisesent://SD_ILS/0/SD_ILS:3194442024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Logics in artificial intelligence : 11th European conference, JELIA 2008 Dresden, Germany, September/October 2008 : proceedingsent://SD_ILS/0/SD_ILS:2912362024-04-20T03:59:30Z2024-04-20T03:59:30Zby Holldobler, Steffen, 1957-<br/>Author Holldobler, Steffen, 1957-, Lutz, Carsten, 1971-, Wansing, H. (Heinrich)<br/>Format: Books<br/>Call Number Q334 L63 2008<br/>Publisher Springer,<br/>Publication Date 2008<br/>ISBN 9783540878025<br/>Logic, language, information and computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 : proceedingsent://SD_ILS/0/SD_ILS:2929002024-04-20T03:59:30Z2024-04-20T03:59:30Zby Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.)<br/>Author Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.), Hodges, Wilfrid, Queiroz, Ruy J.G.B. de<br/>Format: Books<br/>Call Number QA9.A1 W67 2008<br/>Publisher Springer,<br/>Publication Date 2008<br/>ISBN 9783540699361<br/>Logic for computer scientistsent://SD_ILS/0/SD_ILS:3521272024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Transition to higher mathematics : structure and proofent://SD_ILS/0/SD_ILS:1489522024-04-20T03:59:30Z2024-04-20T03:59:30Zby Dumas, Bob A.<br/>Author Dumas, Bob A., McCarthy, John E. (John Edward), 1964-<br/>Format: Books<br/>Call Number QA9 D85 2006<br/>Publisher McGraw Hill Higher Education,<br/>Publication Date 2007<br/>ISBN 9780073533537<br/>Foundations of software science and computational structures 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedingsent://SD_ILS/0/SD_ILS:5173862024-04-20T03:59:30Z2024-04-20T03:59:30Zby FOSSACS 2007 (2007 : Braga, Portugal)<br/>Author FOSSACS 2007 (2007 : Braga, Portugal), Seidl, Helmut, SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 000709<br/>Publisher Springer-Verlag Berlin Heidelberg,<br/>Publication Date 2007<br/>ISBN 9783540713890<br/><a href="http://dx.doi.org/10.1007/978-3-540-71389-0">Full Text</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>Automated Deduction -- CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedingsent://SD_ILS/0/SD_ILS:6257732024-04-20T03:59:30Z2024-04-20T03:59:30Zby International Conference on Automated Deduction (21st : 2007 : Bremen, Germany)<br/>Author International Conference on Automated Deduction (21st : 2007 : Bremen, Germany), Pfenning, Frank, SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 001290<br/>Publisher Springer-Verlag Berlin Heidelberg,<br/>Publication Date 2007<br/>ISBN 9783540735953<br/><a href="http://dx.doi.org/10.1007/978-3-540-73595-3">http://dx.doi.org/10.1007/978-3-540-73595-3</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedingsent://SD_ILS/0/SD_ILS:6263792024-04-20T03:59:30Z2024-04-20T03:59:30Zby FroCoS 2007 (2007 : Liverpool, England)<br/>Author FroCoS 2007 (2007 : Liverpool, England), Konev, Boris, Wolter, Frank., SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 001334<br/>Publisher Springer-Verlag Berlin Heidelberg,<br/>Publication Date 2007<br/>ISBN 9783540746218<br/><a href="http://dx.doi.org/10.1007/978-3-540-74621-8">http://dx.doi.org/10.1007/978-3-540-74621-8</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>Symbolic-Numeric Computationent://SD_ILS/0/SD_ILS:5168972024-04-20T03:59:30Z2024-04-20T03:59:30Zby Wang, Dongming<br/>Author Wang, Dongming, Zhi, Lihong, SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 000464<br/>Publisher Birkhauser Verlag AG,<br/>Publication Date 2007<br/>ISBN 9783764379841<br/><a href="http://dx.doi.org/10.1007/978-3-7643-7984-1">Full Text</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>Foundations of software science and computational structures 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedingsent://SD_ILS/0/SD_ILS:5170182024-04-20T03:59:30Z2024-04-20T03:59:30Zby FOSSACS 2007 (2007 : Braga, Portugal)<br/>Author FOSSACS 2007 (2007 : Braga, Portugal), Seidl, Helmut, SpringerLink (Online service), ETAPS 2007 (2007 : Braga, Portugal)<br/>Format: Computer file<br/>Call Number EB 000708<br/>Publisher Springer-Verlag Berlin Heidelberg,<br/>Publication Date 2007<br/>ISBN 9783540713890<br/><a href="http://dx.doi.org/10.1007/978-3-540-71389-0">Full Text</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>The mathematics of logic : a guide to completeness theorems and their applicationsent://SD_ILS/0/SD_ILS:2702652024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Discrete mathematics and its applicationsent://SD_ILS/0/SD_ILS:1341462024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Handbook of Spatial Logicsent://SD_ILS/0/SD_ILS:5177802024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Mathematics and common sense : a case of creative tensionent://SD_ILS/0/SD_ILS:1500542024-04-20T03:59:30Z2024-04-20T03:59:30Zby Davis, Philip J., 1923-<br/>Author Davis, Philip J., 1923-<br/>Format: Books<br/>Call Number QA9.2 D38 2006<br/>Publisher A.K. Peters,<br/>Publication Date 2006<br/>ISBN 9781568812700<br/>A concise introduction to pure mathematicsent://SD_ILS/0/SD_ILS:4820452024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Techniques of constructive analysisent://SD_ILS/0/SD_ILS:5154192024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>How to read and do proofs : an introduction to mathematical thought processesent://SD_ILS/0/SD_ILS:1703202024-04-20T03:59:30Z2024-04-20T03:59:30Zby Solow, Daniel<br/>Author Solow, Daniel<br/>Format: Books<br/>Call Number QA9.54 S64 2005<br/>Edition 4th ed.<br/>Publisher John Wiley,<br/>Publication Date 2005<br/>ISBN 9780471680581<br/>Visualization, explanation and reasoning styles in mathematicsent://SD_ILS/0/SD_ILS:1790072024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>The oxford handbook of philosophy of mathematics and logicent://SD_ILS/0/SD_ILS:3696462024-04-20T03:59:30Z2024-04-20T03:59:30Zby Shapiro, Stewart, 1951-<br/>Author Shapiro, Stewart, 1951-<br/>Format: Books<br/>Call Number QA8.4 O93 2005<br/>Publisher Oxford University Press,<br/>Publication Date 2005<br/>ISBN 9780195148770<br/>Adapting proofs-as-programs : the curry - howard protocolent://SD_ILS/0/SD_ILS:3843002024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Schaum's easy outlines : discrete mathematicsent://SD_ILS/0/SD_ILS:3444232024-04-20T03:59:30Z2024-04-20T03:59:30Zby Lipschutz, Seymour<br/>Author Lipschutz, Seymour, Lars Lipson, Marc<br/>Format: Books<br/>Call Number QA162 L564 2003<br/>Edition 2nd ed.<br/>Publisher McGraw-Hill,<br/>Publication Date 2003<br/>ISBN 9780071398770<br/>Foundations of logic and mathematics : applications to computer science and cryptographyent://SD_ILS/0/SD_ILS:3471932024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Symbolic logicent://SD_ILS/0/SD_ILS:1503042024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Proceedings of the sixth Asian logic conference , Beijing, China, 20-24 May 1996ent://SD_ILS/0/SD_ILS:1557342024-04-20T03:59:30Z2024-04-20T03:59:30Zby Asian Logic Conference (6th. : 1996 : Beijing, China)<br/>Author Asian Logic Conference (6th. : 1996 : Beijing, China), Chong, C. T. (Chi-Tat), 1949-<br/>Format: Books<br/>Call Number QA9 A85 1996<br/>Publisher World Scientific Publishing,<br/>Publication Date 1998<br/>ISBN 9789810234324<br/>Usus al-mantiq al-surient://SD_ILS/0/SD_ILS:8449672024-04-20T03:59:30Z2024-04-20T03:59:30Zby Muhammed, Abdul Qadir, Mahir<br/>Author Muhammed, Abdul Qadir, Mahir<br/>Format: Books<br/>Call Number BC135 M84 1998<br/>Publisher Dar Al Ma'rifah Al Jamiah,<br/>Publication Date 1998<br/>Logic review on CD-ROM : for Dos/Windowsent://SD_ILS/0/SD_ILS:5620252024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Sets, logic and categoriesent://SD_ILS/0/SD_ILS:4263722024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Elements of the theory of computationent://SD_ILS/0/SD_ILS:4724262024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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 for mathematics and computer scienceent://SD_ILS/0/SD_ILS:4761962024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Logic as algebraent://SD_ILS/0/SD_ILS:2883562024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Logic of mathematics : a modern course of classical logicent://SD_ILS/0/SD_ILS:886802024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:3868382024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Combinatorics, complexity, and logicent://SD_ILS/0/SD_ILS:4674372024-04-20T03:59:30Z2024-04-20T03:59:30Zby International Conference on Discreta Mathematics and Theoretical Computer Science on Combinatorics, Complexity, and Logic (1st : 1996 : Auckland, New Zealand)<br/>Author International Conference on Discreta Mathematics and Theoretical Computer Science on Combinatorics, Complexity, and Logic (1st : 1996 : Auckland, New Zealand), Bridges, Douglas S.<br/>Format: Books<br/>Call Number QA164 I58 1997<br/>Publisher Springer-Verlag,<br/>Publication Date 1997<br/>ISBN 9789813083141<br/>Mantik dalam babak pemikiran ilmiah tamadun manusiaent://SD_ILS/0/SD_ILS:4578022024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Schaum's outline of theory and problems of discrete mathematicsent://SD_ILS/0/SD_ILS:1078092024-04-20T03:59:30Z2024-04-20T03:59:30Zby Lipschutz, Seymour<br/>Author Lipschutz, Seymour, Lipson, March Lars<br/>Format: Books<br/>Call Number QA162 L56 1997<br/>Edition 2nd ed.<br/>Publisher McGraw-Hill,<br/>Publication Date 1997<br/>ISBN 9780070380455<br/>Simulasi kawalan satu sistem kren dengan menggunakan logik fuzzient://SD_ILS/0/SD_ILS:6059182024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Theorem proving with analytic tableaux and related methodsent://SD_ILS/0/SD_ILS:4082032024-04-20T03:59:30Z2024-04-20T03:59:30Zby International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany)<br/>Author International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany), Baumgartner, Peter, Hahnle, Reiner, Posegga, Joachim<br/>Format: Books<br/>Call Number QA76.9.A96 I73 1995<br/>Publisher Springer,<br/>Publication Date 1995<br/>ISBN 9783540593386<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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Logic, methodology and philosophy of science IX, Uppsala, Sweden, August 7-14 1991 : [proceeding]ent://SD_ILS/0/SD_ILS:4211252024-04-20T03:59:30Z2024-04-20T03:59:30Zby International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden)<br/>Author International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden), Prawitz, Dag, Skyrms, Brian, Westerstahl, Dag<br/>Format: Books<br/>Call Number Q174 I58 1991<br/>Publisher Elsevier,<br/>Publication Date 1994<br/>ISBN 9780444893413<br/>How to prove it : a structured approachent://SD_ILS/0/SD_ILS:3654442024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Logic-based decision support : mixed integer model formulationent://SD_ILS/0/SD_ILS:1832742024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Computability and logicent://SD_ILS/0/SD_ILS:2439022024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Methodologies for intelligent systems, 4ent://SD_ILS/0/SD_ILS:2442202024-04-20T03:59:30Z2024-04-20T03:59:30Zby International Symposium on Methodologies for Intelligent Systems (4th : 1989 : Charlotte, N.C.)<br/>Author International Symposium on Methodologies for Intelligent Systems (4th : 1989 : Charlotte, N.C.), Ras, Zbigniew W., University of North Carolina at Charlotte<br/>Format: Books<br/>Call Number Q334 I573 1989<br/>Publisher North-Holland,<br/>Publication Date 1989<br/>ISBN 9780444015167<br/>Proofs and typesent://SD_ILS/0/SD_ILS:2680952024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costaent://SD_ILS/0/SD_ILS:1487442024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Logic and structured design for computer programmersent://SD_ILS/0/SD_ILS:2945742024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Foundations : logic, language and mathematicsent://SD_ILS/0/SD_ILS:1756542024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Derivation of the algebraic system Jacobian matrix from bond graphs using a symbol manipulation techniqueent://SD_ILS/0/SD_ILS:208502024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Selected topics in algebra and its interrelations with logic, number theory and algebraic geometryent://SD_ILS/0/SD_ILS:2388632024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Introduction to logic programmingent://SD_ILS/0/SD_ILS:2503192024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Logic, methodology and philosophy of science VIIent://SD_ILS/0/SD_ILS:1355852024-04-20T03:59:30Z2024-04-20T03:59:30Zby International Congress of Logic, Methodology and Philosophy Science (7th : 1983 : Salzburg, Austria)<br/>Author International Congress of Logic, Methodology and Philosophy Science (7th : 1983 : Salzburg, Austria), Marcus, Ruth Barcan<br/>Format: Books<br/>Call Number Q174 I57 1983<br/>Publisher North-Holland,<br/>Publication Date 1983<br/>ISBN 9780444876560<br/>Understanding symbolic logicent://SD_ILS/0/SD_ILS:2671182024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30ZFormat: 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30ZFormat: 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/>Elements of logic and foundations of mathematics in problemsent://SD_ILS/0/SD_ILS:3197452024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>The Boole - De Morgan Correspondence : 1842 - 1864ent://SD_ILS/0/SD_ILS:2525002024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Mathematical logic in Latin America : proceedings of the 4th Latin America Symposium on mathematical logicent://SD_ILS/0/SD_ILS:4785872024-04-20T03:59:30Z2024-04-20T03:59:30Zby Latin-America Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile)<br/>Author Latin-America Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile), Arruda, Ayda I., Chuaqui, R., Da Costa, N. C. A.<br/>Format: Books<br/>Call Number QA9.A1 L38 1978<br/>Publisher North-Holland<br/>Publication Date 1980 1978<br/>Logic for problem solvingent://SD_ILS/0/SD_ILS:1163512024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Selected papers in logic and foundations, didactics, economicsent://SD_ILS/0/SD_ILS:4731522024-04-20T03:59:30Z2024-04-20T03:59:30Zby Menger, Karl<br/>Author Menger, Karl<br/>Format: Books<br/>Call Number QA8.4 M45 1979<br/>Publisher D Reidel Pub,<br/>Publication Date 1979<br/>ISBN 9789027703026<br/>Logic and boolean algebraent://SD_ILS/0/SD_ILS:2951372024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Mathematics : ideas and usesent://SD_ILS/0/SD_ILS:4793342024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Introduction to mathematical logic : set theory computable functions model theoryent://SD_ILS/0/SD_ILS:4834592024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Foundational studies : selected worksent://SD_ILS/0/SD_ILS:4878292024-04-20T03:59:30Z2024-04-20T03:59:30Zby Mostowski, Andrzej<br/>Author Mostowski, Andrzej<br/>Format: Books<br/>Call Number QA9 M75 1979<br/>Publisher North-Holland,<br/>Publication Date 1979<br/>ISBN 9780444851024 9780444851031<br/>CABAL Seminar 76-77 : proceedings, Caltech - UCLA Logic Seminar 1976-77ent://SD_ILS/0/SD_ILS:1487172024-04-20T03:59:30Z2024-04-20T03:59:30Zby Kechris, A. S.<br/>Author Kechris, A. S.<br/>Format: Books<br/>Call Number QA9.3 C32 1978<br/>Publisher Springeer-Verlag,<br/>Publication Date 1978<br/>ISBN 9783540090861<br/>Two applications of logic to mathematicsent://SD_ILS/0/SD_ILS:1487802024-04-20T03:59:30Z2024-04-20T03:59:30Zby Takeuti, Gaisi<br/>Author Takeuti, Gaisi<br/>Format: Books<br/>Call Number QA9 T34 1978<br/>Publisher Iwanami Shoten,<br/>Publication Date 1978<br/>Mathematical logicent://SD_ILS/0/SD_ILS:1539042024-04-20T03:59:30Z2024-04-20T03:59:30Zby Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil)<br/>Author Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), Arruda, Ayda I.<br/>Format: Books<br/>Call Number QA9.A1 B72 1978<br/>Publisher Marcel Dekker,<br/>Publication Date 1978<br/>ISBN 9780824767723<br/>Foundations: essays in philosophy, logic, mathematical and economicsent://SD_ILS/0/SD_ILS:2524342024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Practice problems in number systems,logic, and Boolean algebraent://SD_ILS/0/SD_ILS:1472292024-04-20T03:59:30Z2024-04-20T03:59:30Zby Bukstein, Edward<br/>Author Bukstein, Edward<br/>Format: Books<br/>Call Number QA241 B85 1977<br/>Edition 2nd ed.<br/>Publisher H W Sams,<br/>Publication Date 1977<br/>ISBN 9780672214516<br/>Advanced logic for applicationsent://SD_ILS/0/SD_ILS:2520322024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Dictionary of logical terms and symbolsent://SD_ILS/0/SD_ILS:3928902024-04-20T03:59:30Z2024-04-20T03:59:30Zby Greenstein, Carol Horn<br/>Author Greenstein, Carol Horn<br/>Format: Books<br/>Call Number QA9 G68 1977 rd<br/>Publisher Van Nostrand Reinhold,<br/>Publication Date 1977<br/>ISBN 9780442228347<br/>Handbook of mathematical logicent://SD_ILS/0/SD_ILS:3928372024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Non-classical logic, model theory and computabilityent://SD_ILS/0/SD_ILS:4776872024-04-20T03:59:30Z2024-04-20T03:59:30ZFormat: Books<br/>Call Number QA9.A1 L37 1977<br/>Publisher North-Holland,<br/>Publication Date 1977<br/>ISBN 9780720407525<br/>Yes-no; stop-go some patterns in mathematical logicent://SD_ILS/0/SD_ILS:4849222024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>A course in mathematical logicent://SD_ILS/0/SD_ILS:4834452024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Schaum's outline of theory and problems of discrete mathematicsent://SD_ILS/0/SD_ILS:1665592024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Introductory College Mathematics : sets and logicent://SD_ILS/0/SD_ILS:4501972024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Proofs and refutations : the logic of mathematical discoveryent://SD_ILS/0/SD_ILS:4727342024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Mathematical logicent://SD_ILS/0/SD_ILS:4836742024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>The logico-algebraic approach to quantum mechanicsent://SD_ILS/0/SD_ILS:2024862024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>An algebraic introduction to mathematical logicent://SD_ILS/0/SD_ILS:1538532024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Practice problems in number systems, logic, and Boolean algebraent://SD_ILS/0/SD_ILS:1471702024-04-20T03:59:30Z2024-04-20T03:59:30Zby Bukstein, Edward<br/>Author Bukstein, Edward<br/>Format: Books<br/>Call Number QA241 B85 1973<br/>Publisher H W Sams,<br/>Publication Date 1975 1973<br/>ISBN 9780672206092<br/>Large infinitary languages : model theoryent://SD_ILS/0/SD_ILS:1488552024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>The theory of models : proceedingsent://SD_ILS/0/SD_ILS:2520372024-04-20T03:59:30Z2024-04-20T03:59:30Zby Addison, J. W.<br/>Author Addison, J. W., Tarski, Alfred, Henkin, Leon, International Symposium on the Theory of Models, Berkeley, California, 1963<br/>Format: Books<br/>Call Number BC135 I57 1963<br/>Publisher North-Holland Pub,<br/>Publication Date 1975<br/>ISBN 9780720422337<br/>ISILC logic conference : proceedingsent://SD_ILS/0/SD_ILS:4817122024-04-20T03:59:30Z2024-04-20T03:59:30Zby International Summer Institute and Logic Colloquium (1974 : University of Kiel)<br/>Author International Summer Institute and Logic Colloquium (1974 : University of Kiel), Muller, Gert Heinz, Oberschelp, A., Plotthoff, K<br/>Format: Books<br/>Call Number QA9 I84 1975<br/>Publisher Springer-Verlag,<br/>Publication Date 1975<br/>ISBN 9783540075349<br/>Completeness,compactness, and undercidability : an introduction to mathematical logicent://SD_ILS/0/SD_ILS:4834922024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>International Symposium on Uniformly Structured Automata and Logic : proceedingsent://SD_ILS/0/SD_ILS:3622142024-04-20T03:59:30Z2024-04-20T03:59:30Zby International Symposium on Uniformly Structured Automata and Logic (1975 : Tokyo)<br/>Author International Symposium on Uniformly Structured Automata and Logic (1975 : Tokyo), IEEE Computer Society<br/>Format: Books<br/>Call Number TK7885.A1 I585 1975 f<br/>Publisher Institute of Electrical and Electronics Engineers,<br/>Publication Date 1975<br/>Logic colloquium : symposium on logic held at Boston, 1972-73ent://SD_ILS/0/SD_ILS:2415292024-04-20T03:59:30Z2024-04-20T03:59:30Zby Parikh, Rohet<br/>Author Parikh, Rohet<br/>Format: Books<br/>Call Number QA9.A1 L63 1972-73<br/>Publisher Springer-Verlag,<br/>Publication Date 1975<br/>ISBN 9780387071558<br/>Non-Archimedean utility theoryent://SD_ILS/0/SD_ILS:1315262024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Algebra and logic : papersent://SD_ILS/0/SD_ILS:4788182024-04-20T03:59:30Z2024-04-20T03:59:30Zby Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)<br/>Author Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)<br/>Format: Books<br/>Call Number QA9 S76 1975<br/>Publisher Springer-Verlag,<br/>Publication Date 1975<br/>ISBN 9783540071525<br/>Scandinavian Logic Symposium, 3rd, University of Uppsala, Sweden, April 9-11, 1973 : Proceedingsent://SD_ILS/0/SD_ILS:4861712024-04-20T03:59:30Z2024-04-20T03:59:30Zby Scandinavian Logic Symposium (3rd : 1973 : University of Uppsala, Sweden)<br/>Author Scandinavian Logic Symposium (3rd : 1973 : University of Uppsala, Sweden), Kanger, Stig<br/>Format: Books<br/>Call Number QA9.A1 S32 1975<br/>Publisher North-Holland,<br/>Publication Date 1975<br/>ISBN 9780720422832<br/>Logic in mathematics : an elementary approachent://SD_ILS/0/SD_ILS:1899672024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Combinatory logicent://SD_ILS/0/SD_ILS:1496752024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>An introduction to the numerical operators in primary schoolsent://SD_ILS/0/SD_ILS:1487562024-04-20T03:59:30Z2024-04-20T03:59:30Zby Tran, Tu Nguyet<br/>Author Tran, Tu Nguyet, Thi Thu Nguyet, Nguyen, RECSAM (Malaysia)<br/>Format: Books<br/>Call Number QA9 T73 1974<br/>Publisher SEAMEO, Regional Centre for Education inScience and Mathematics,<br/>Publication Date 1974<br/>Computability and logicent://SD_ILS/0/SD_ILS:4387572024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Introduction to symbolic logicent://SD_ILS/0/SD_ILS:2524982024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>From mathematics to philosophyent://SD_ILS/0/SD_ILS:2541182024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Truth, syntax and modality : proceedingsent://SD_ILS/0/SD_ILS:4785282024-04-20T03:59:30Z2024-04-20T03:59:30Zby Conference on Alternative Semantics (1970 : Temple University)<br/>Author Conference on Alternative Semantics (1970 : Temple University), Leblanc, Hugues, 1924-<br/>Format: Books<br/>Call Number QA9.A1 C35 1970<br/>Publisher North-Holland,<br/>Publication Date 1973<br/>ISBN 07204226901<br/>Logic, methodology and philosophy of science IV : proceedingsent://SD_ILS/0/SD_ILS:4785642024-04-20T03:59:30Z2024-04-20T03:59:30Zby International Congress for Logic, Methodology and Philosophy of Science (4th : 1971 : Bucharest, Rumania)<br/>Author International Congress for Logic, Methodology and Philosophy of Science (4th : 1971 : Bucharest, Rumania), Suppes, Patrick<br/>Format: Books<br/>Call Number QA9.A1 I582 1973<br/>Publisher North-Holland Pub.,<br/>Publication Date 1973<br/>ISBN 9780720422740<br/>Cambridge summer school in mathematical logicent://SD_ILS/0/SD_ILS:2972762024-04-20T03:59:30Z2024-04-20T03:59:30Zby Mathias, A. R. D.<br/>Author Mathias, A. R. D., Rogers, H.<br/>Format: Books<br/>Call Number QA9.A1 C36 1973<br/>Publisher Soringer-Verlag,<br/>Publication Date 1973<br/>ISBN 9783540055693<br/>Dictionary of symbols of mathematical logicent://SD_ILS/0/SD_ILS:3659722024-04-20T03:59:30Z2024-04-20T03:59:30Zby Feys, Robert<br/>Author Feys, Robert, Fitch, Frederic B<br/>Format: Books<br/>Call Number QA9 D53 1973 rd<br/>Publisher North-Holland<br/>Publication Date 1973<br/>ISBN 9780720422504<br/>Symbolic logicent://SD_ILS/0/SD_ILS:2520192024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Conference in Mathematical Logic, Bedford College, London, 24-28th Aug, 1970 : Proceedingsent://SD_ILS/0/SD_ILS:1045202024-04-20T03:59:30Z2024-04-20T03:59:30Zby Conference in Mathematical Logic (1970 : Bedford College, London)<br/>Author Conference in Mathematical Logic (1970 : Bedford College, London), Hodges, Wilfrid<br/>Format: Books<br/>Call Number QA9 C66 1972<br/>Publisher Springer-Verlag,<br/>Publication Date 1972<br/>ISBN 9783540057444<br/>Mathematical logic with special reference to the natural numbersent://SD_ILS/0/SD_ILS:4792392024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Mathematics for a liberal educationent://SD_ILS/0/SD_ILS:1487012024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Conceptual models in mathematics : sets, logic and probabilityent://SD_ILS/0/SD_ILS:4389182024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Studies in constructive mathematics and mathematical logicent://SD_ILS/0/SD_ILS:4782572024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Elements of mathematical logic (model theory)ent://SD_ILS/0/SD_ILS:4849772024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Logic : proofent://SD_ILS/0/SD_ILS:4744792024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Logic, automato, and algorithmsent://SD_ILS/0/SD_ILS:2991012024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Scandinavian Logic Symposium, 2nd., University of Oslo, 1970 : Proceedingsent://SD_ILS/0/SD_ILS:4857402024-04-20T03:59:30Z2024-04-20T03:59:30Zby Scandinavian Logic Symposium (2nd : 1970 : University of Oslo)<br/>Author Scandinavian Logic Symposium (2nd : 1970 : University of Oslo), Fenstad, Jens Erik<br/>Format: Books<br/>Call Number QA9.A1 S32 1970<br/>Publisher North-Holland Pub.,<br/>Publication Date 1971<br/>ISBN 9780720422597<br/>Model theory for infinitary logic : logic with countable conjunctions and finite quantifiersent://SD_ILS/0/SD_ILS:4857802024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Intuitionism and proof theory : proceedingsent://SD_ILS/0/SD_ILS:4718242024-04-20T03:59:30Z2024-04-20T03:59:30Zby Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York)<br/>Author Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), Kino, A., Myhill, J., Vesley, R. E.<br/>Format: Books<br/>Call Number QA9.47 I58 1970<br/>Publisher North-Holland Pub.,<br/>Publication Date 1970<br/>ISBN 720422574<br/>A comprehensive textbook of classical mathematics : a contemporary interpretationent://SD_ILS/0/SD_ILS:4777762024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Studies in constructive mathematics and mathematical logicent://SD_ILS/0/SD_ILS:4782312024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Elements of mathematicsent://SD_ILS/0/SD_ILS:4820962024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Fundamental concepts of modern mathematicsent://SD_ILS/0/SD_ILS:4834112024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Introduction to elementary mathematical logicent://SD_ILS/0/SD_ILS:4840192024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Ideas in mathematicsent://SD_ILS/0/SD_ILS:4848922024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Frege and Godel : rwo fundamental texts in mathematical logicent://SD_ILS/0/SD_ILS:2971822024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Jan Lukasiewicz : selected worksent://SD_ILS/0/SD_ILS:2524222024-04-20T03:59:30Z2024-04-20T03:59:30Zby Lukassiewicz, Jan<br/>Author Lukassiewicz, Jan, Borkowski, L.<br/>Format: Books<br/>Call Number BC135 L95 1970<br/>Publisher North-Holland Pub.,<br/>Publication Date 1970<br/>ISBN 720422523<br/>A profile of mathematical logicent://SD_ILS/0/SD_ILS:2547512024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>The logical and set-theoretical foundations of mathematicsent://SD_ILS/0/SD_ILS:1487342024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Introduction to symbolic logicent://SD_ILS/0/SD_ILS:2524192024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Studies in constructive mathematics and mathematical logicent://SD_ILS/0/SD_ILS:4781182024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Mathematical reasoningent://SD_ILS/0/SD_ILS:4835282024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30ZFormat: Visual Materials<br/>Call Number KVD 887<br/>Publisher MIT,<br/>Publication Date 1969<br/>Mathematical logic : a first courseent://SD_ILS/0/SD_ILS:4793482024-04-20T03:59:30Z2024-04-20T03:59:30Zby Robbin, Joel W.<br/>Author Robbin, Joel W.<br/>Format: Books<br/>Call Number QA9 R63 1969<br/>Publisher W A Benjamin,<br/>Publication Date 1969<br/>ISBN 9780805382709<br/>Intuitionistic logic model theory and forcingent://SD_ILS/0/SD_ILS:4818442024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Proceedings of the Summer School in Logic Leeds, August 7-23, 1967ent://SD_ILS/0/SD_ILS:4820042024-04-20T03:59:30Z2024-04-20T03:59:30Zby Summer School in Logic (1967 : Leeds)<br/>Author Summer School in Logic (1967 : Leeds), Lob, M. H.<br/>Format: Books<br/>Call Number QA9.A1 S85 1967<br/>Publisher Springer-Verlag,<br/>Publication Date 1968<br/>Solvable cases of the decision problement://SD_ILS/0/SD_ILS:4877692024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Languages, logic and mathematicsent://SD_ILS/0/SD_ILS:1538462024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Mathematical logicent://SD_ILS/0/SD_ILS:4750892024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Mathematics and logic for digital devicesent://SD_ILS/0/SD_ILS:4826982024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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 mathematical logicent://SD_ILS/0/SD_ILS:4838742024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Proof in geometryent://SD_ILS/0/SD_ILS:1808762024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Set theory and logicent://SD_ILS/0/SD_ILS:4472152024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Mathematical logic and the foundations of mathematics; and introductory surverent://SD_ILS/0/SD_ILS:4817802024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>An introduction to mathematical machine theoryent://SD_ILS/0/SD_ILS:1230532024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>The logical systems of Lesniewskient://SD_ILS/0/SD_ILS:4785482024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>An introduction to the elements of mathematicsent://SD_ILS/0/SD_ILS:4849392024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Symbolic logic and the game of logicent://SD_ILS/0/SD_ILS:2520122024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Logic, semantics, mathematics : papers from 1923 to 1938ent://SD_ILS/0/SD_ILS:2525022024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Symbolic logicent://SD_ILS/0/SD_ILS:2520302024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Mathematics and plausible reasoningent://SD_ILS/0/SD_ILS:4786072024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>An introduction to mathematical thoughtent://SD_ILS/0/SD_ILS:2964622024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>logic for mathematiciansent://SD_ILS/0/SD_ILS:2524282024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Introduction to the foundations of mathematicsent://SD_ILS/0/SD_ILS:4777972024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Sentences undecidable in formalized arithmetic : an exposition of theory of Kurt Godelent://SD_ILS/0/SD_ILS:4856632024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>The nature of mathematics: a critical surveyent://SD_ILS/0/SD_ILS:4819372024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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 foundation of mathematics and other logical essaysent://SD_ILS/0/SD_ILS:2964332024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>Kigō ronri nyūmon.ent://SD_ILS/0/SD_ILS:8331642024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby 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-04-20T03:59:30Z2024-04-20T03:59:30Zby Ramsay, Allan<br/>Author Ramsay, Allan<br/>Format: Books<br/>Call Number Q335 R35 1988<br/>A First Course in Logicent://SD_ILS/0/SD_ILS:8824052024-04-20T03:59:30Z2024-04-20T03:59:30Zby Lawson, Mark V., author<br/>Author Lawson, Mark V., author<br/>Format: Books<br/>Call Number QA9 L39 2019<br/>ISBN 9780815386643<br/>BUILDING PROOFS : A Practical Guideent://SD_ILS/0/SD_ILS:8669712024-04-20T03:59:30Z2024-04-20T03:59:30Zby 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/>