Results of search for 'ccl=su:"Mathematical Logic "' › Kerala University Library catalog

Results
		No cover image available No cover image available No cover image available Mathematical logic for computer science Mordechai Ben Ari by Ari, Mordechai Ben [] [] Series: Edition: 23 Material type: Text Publication details: Springer-Verlag, London 2008 Availability: Items available for loan: Dept. of Mathematics (1)Call number: 511.3 ARI-M2. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Inyroducing the theory of computation Wayne Goddard by Goddard, Wayne [] [] Series: Edition: Material type: Text Publication details: Jones and Bartlett Publishers INC 2008 Availability: Items available for loan: Dept. of Mathematics (1)Call number: 511.3 GOD-I. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Fuzzy logic with engineering applications Timothy J Ross by Ross, Timothy J [] [] Series: Edition: 23 Material type: Text Publication details: John Wiley & Sons, Ltd 2010 Availability: Items available for loan: Dept. of Mathematics (1)Call number: 511.3 ROS-F3. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available First course in fuzzy logic Hung T Nguyen and Elbert A Walker by Nguyen, Hung T [] Walker, Elbert A [] Series: Edition: Material type: Text Publication details: Chapman & Hall Ltd., London 2006 Availability: Items available for loan: Dept. of Mathematics (1)Call number: 511.3 NGU-F;1. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Noncommutative rational series with applications Jean Berstel and Christophe Reutenauer by Berstel, Jean [] Reutenauer, Christophe [] Series: Edition: Material type: Text Publication details: CambridgeUniversity Press, Cambridge 2011 Availability: Items available for loan: Dept. of Mathematics (1)Call number: 511.3 BER-N. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Handbook of the history of logic by Gabbay, Dov M Woods, John Material type: Text Publication details: Amsterdam : Elsevier Publishing, 2006 Availability: Items available for loan: Dept. of Mathematics (1)Call number: R 511.3 GAB-H. Dept. of Statistics (1)Call number: 160.9 GAB. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Handbook of formal languages G Rozenberg and A Salomaa by Rozenberg, G [] Salomaa, A [] Series: Edition: Material type: Text Publication details: Springer-Verlag, Berlin 2010 Availability: Items available for loan: Dept. of Mathematics (1)Call number: R 511.3 ROZ-H. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Dualisability: Unary algebras and beyond Jane Pitkethly and Brian Davey by Pitkethly, Jane [] Davey, Brian [] Series: Edition: Material type: Text Publication details: Springer Science Business Media,Inc 2005 Availability: Items available for loan: Dept. of Mathematics (1)Call number: 511.3 PIT-D. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Grammatical picture generation: A tree based approach Frank Drewes by Drewes, Frank [] [] Series: Edition: Material type: Text Publication details: Springer-Verlag, Berlin 2006 Availability: Items available for loan: Dept. of Mathematics (1)Call number: R 511.3 DRE-G. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Handbook of mathematical induction theory and applications David S Gunderson by Gunderson, David S [] [] Series: Discrete Mathematics and its application Edition: Material type: Text Publication details: Taylor & Francis Group LLC 2011 Availability: Items available for loan: Dept. of Mathematics (1)Call number: R 511.3 GUN-H. Place hold Add to cart (remove)
		Graph structure and monadic second order logic Bruno Courcelle and Joost Engelfried by Courcelle, Bruno Engelfried, Joost Material type: Text Publication details: Cambridge University Press 2012 Availability: Items available for loan: Dept. of Futures Studies (1)Call number: 511.3 COU. Dept. of Mathematics (1)Call number: R 511.3 COU-G. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Introduction to mathematical logic Elliott Mendelson by Mendelson, Elliott [] [] Series: Edition: 23 Material type: Text Publication details: Taylor & Francis Group LLC 2010 Availability: Items available for loan: Dept. of Mathematics (1)Call number: 511.3 MEN-I5. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Analysis and synthesis of fuzzy control systems: A model based approach Gang Feng by Feng, Gang [] [] Series: Edition: Material type: Text Publication details: CRC Press, LLC 2010 Availability: Items available for loan: Dept. of Mathematics (1)Call number: R 511.3 FEN-A. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Fuzzy logic for embedded systems applications Ahamd M Ibrahim by Ibrahim, Ahamd M [] [] Series: Embedded Technology Series Edition: Material type: Text Publication details: Elsevier Science 2004 Availability: Items available for loan: Dept. of Mathematics (1)Call number: 511.3 IBR-F. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Introduction to mathematical logic Michal Walicki by Walicki, Michal [] [] Series: Edition: Material type: Text Publication details: World Scientific Publishing Co 2012 Availability: Items available for loan: Dept. of Mathematics (1)Call number: 511.3 WAL-I. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Logic and structure Dirk Van Dalen by Dalen, Dirk Van [] [] Series: Edition: 23 Material type: Text Publication details: Springer-Verlag, London 2013 Availability: Items available for loan: Dept. of Mathematics (1)Call number: 511.3 DAL-L5. Place hold Add to cart (remove)
		Fuzzy logic : algorithms, techniques and implementations by Dadios, Elmer P Series: Croatia Material type: Text Publication details: Coratia Intech 2014 Availability: Items available for loan: Dept. of Mathematics (1)Call number: 511.3 DAD.F. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Concise introduction to logic by Hurley, Patrick J Edition: Eleventh Material type: Text Publication details: USA Clark Baxter 2015 Availability: Items available for loan: Dept. of Mathematics (1)Call number: 160 HUR.C. Place hold Add to cart (remove)
		Special Topics in Mathematics for Computer Scientists : Sets, Categories, Topologies and Measures / by Ernst-Erich Doberkat. by Doberkat, Ernst-Erich [author.] Edition: 1st ed. 2015. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Availability: Items available for loan: Dept. of Mathematics (1)Call number: 005.131 DOB.S. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Theory of groups and its application to physical problems by Bhagavantam, S; Venkatarayudu, T Series: Edition: Material type: Text Publication details: Academic Press Inc., USA 1969 Availability: Items available for loan: Dept. of Physics (1)Call number: 511.32 BHA-T. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Schaum's outline of theory and problems of group theory by Baumslag, Benjamin; Chandler, Bruce Series: Edition: Material type: Text Publication details: TATA McGraw-Hill Publishing Co., New Delhi 1979 Availability: Items available for loan: Dept. of Physics (1)Call number: R 511.32 BAU-S. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Schaum's outline of theory and problems of boolean algebra and switching circuits by Mendelson, Elliott Series: Edition: Material type: Text Publication details: Schaum Publishing Co., New York 1970 Availability: Items available for loan: Dept. of Physics (1)Call number: R 511.32 MEN-S. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Group theory: Applied by Swamy, Nyayapathi V V J; Satyanarayana Nandi Series: Edition: Material type: Text Publication details: Availability: Items available for loan: Dept. of Physics (1)Call number: 511.32 SWA-G. Place hold Add to cart (remove)
		Schaum's outline series of theory and problems of set theory and related topics by Lipschutz, Seymour Series: Schaum's outline series Edition: 2 Material type: Text Publication details: McGraw-Hill Book Co., Singapore 2011 Availability: Items available for loan: Dept. of Physics (1)Call number: 511.32 LIP-S2. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Theory and Problems of Abstract Algebra Textual Documents by Fang Joong Edition: 1963. Material type: Text; Audience: General; Publication details: New York: Schaum Publishing,Co, 1963 Availability: Items available for loan: Dept. of Statistics (1)Call number: 512.9 FAN. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available The Foundation of Mathematics and other Logical Essay Textual Documents by Ramsey; Plumpton Frank, Braithwaite; R B Edition: 1st Edition 1931. Material type: Text; Audience: General; Publication details: New York: Kegan paul, Trench, Trubner. Availability: Items available for loan: Dept. of Statistics (1)Call number: 510.1 RAM. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Principles of mathematical logic / by David Hilbert by Hilbert, David Ackermann, W Material type: Text Publication details: New York : Chelsea, 1950 Availability: Items available for loan: Dept. of Statistics (2)Call number: 164 HIL, ... Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available Handbook of the history of logic / by Dov M Gabbay and John Woods by Gabbay, Dov M Woods, John Material type: Text Publication details: Amsterdam : Elsevier Publishing, 2006 Availability: No items available. Add to cart (remove)
		No cover image available No cover image available No cover image available Foundations of mathematical logic Haskell B Curry by Curry, Haskell B [] [] Series: Edition: Material type: Text Publication details: McGraw-Hill book Co, Inc, NewYork 1963 Availability: No items available. Add to cart (remove)
		No cover image available No cover image available No cover image available Mathematical logic / by Stephen Cole Kleene by Kleene, Stephen Cole Material type: Text Publication details: New York : John wiley, 1967 Availability: Items available for loan: Dept. of Statistics (1)Call number: 510.01 KLE. Place hold Add to cart (remove)
		No cover image available No cover image available No cover image available A Course on Borel Sets by Srivastava, S M Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer international, 1998 Availability: Items available for loan: School of Distance Education, University of Kerala, Kariavattom Campus (1)Call number: 511.32 SRI-A. Place hold Add to cart (remove)
		Discrete mathematics With graph theory and combinatorics / by Veerarajan, T Series: Computer science series Material type: Text Publication details: New Delhi : Tata McGraw Hill Education , 2007 Availability: Items available for loan: School of Distance Education, University of Kerala, Kariavattom Campus (1)Call number: 511.3 VEE.D. Place hold Add to cart (remove)
		Deep Learning with Python : A Hands-on Introduction / by Nikhil Ketkar. by Ketkar, Nikhil Edition: 1st ed. 2017. Material type: Text Publication details: Apress 2022 Availability: Items available for loan: Dept. of Computer Science (1)Call number: 006.3 KET. Place hold Add to cart (remove)
		Handbook of Mathematical Logic: Volume 90 Studies in Logic and the Foundations of Mathematics/ edited by J. Barwise by Barwise J. (Ed.) Material type: Text Publication details: New York: Elsevier, 1982 Availability: Items available for loan: Dept. of Futures Studies (1)Call number: 511.3 HAN. Place hold Add to cart (remove)
		Three views of logic : mathematics, philosophy, and computer science / Donald W. Loveland, Richard E. Hodel, S.G. Sterrett. by Loveland, Donald W Hodel, Richard E Sterrett, Susan G Material type: Text Availability: Items available for loan: Dept. of Futures Studies (1)Call number: 511.3 LOV. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 85 results.