Library Services | Technical University of Kenya catalog › Results of search for 'su:{Logic.}'

Advanced search
Course reserves
Browse by hierarchy
Authority search
Tag cloud
Purchase suggestions

Your search returned 2137 results.

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue

	1521.	Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method [electronic resource] / by Carlo Cellucci. by Cellucci, Carlo [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	1522.	The Argument of Mathematics [electronic resource] / edited by Andrew Aberdein, Ian J Dove. by Aberdein, Andrew [editor.] \| Dove, Ian J [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	1523.	Logics in Computer Science [electronic resource] : A Study on Extensions of Temporal and Strategic Logics / by Fabio Mogavero. by Mogavero, Fabio [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	1524.	The Unknown Component Problem [electronic resource] : Theory and Applications / by Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli. by Villa, Tiziano [author.] \| Yevtushenko, Nina [author.] \| Brayton, Robert K [author.] \| Mishchenko, Alan [author.] \| Petrenko, Alexandre [author.] \| Sangiovanni-Vincentelli, Alberto [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1525.	Mathematical Olympiad Treasures [electronic resource] / by Titu Andreescu, Bogdan Enescu. by Andreescu, Titu [author.] \| Enescu, Bogdan [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston : Birkhäuser Boston, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1526.	Excursions in the History of Mathematics [electronic resource] / by Israel Kleiner. by Kleiner, Israel [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston : Birkhäuser Boston, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1527.	A Beginner's Guide to Discrete Mathematics [electronic resource] / by W.D. Wallis. by Wallis, W.D [author.] \| SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston : Birkhäuser Boston, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1528.	The Mathematical Experience, Study Edition [electronic resource] / by Philip J. Davis, Reuben Hersh, Elena Anne Marchisotto. by Davis, Philip J [author.] \| Hersh, Reuben [author.] \| Marchisotto, Elena Anne [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston : Birkhäuser Boston, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1529.	A Beginner's Guide to Finite Mathematics [electronic resource] : For Business, Management, and the Social Sciences / by W.D. Wallis. by Wallis, W.D [author.] \| SpringerLink (Online service). Edition: 2nd ed. 2012.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston : Birkhäuser Boston, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1530.	Combinatorial Set Theory [electronic resource] : With a Gentle Introduction to Forcing / by Lorenz J. Halbeisen. by Halbeisen, Lorenz J [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1531.	Sets, Logic and Maths for Computing [electronic resource] / by David Makinson. by Makinson, David [author.] \| SpringerLink (Online service). Edition: 2nd ed. 2012.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1532.	A Proof Theory for Description Logics [electronic resource] / by Alexandre Rademaker. by Rademaker, Alexandre [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1533.	Mathematical Logic for Computer Science [electronic resource] / by Mordechai Ben-Ari. by Ben-Ari, Mordechai [author.] \| SpringerLink (Online service). Edition: 3rd ed. 2012.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1534.	Compact Models and Measurement Techniques for High-Speed Interconnects [electronic resource] / by Rohit Sharma, Tapas Chakravarty. by Sharma, Rohit [author.] \| Chakravarty, Tapas [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1535.	Lecture Notes on O-Minimal Structures and Real Analytic Geometry [electronic resource] / edited by Chris Miller, Jean-Philippe Rolin, Patrick Speissegger. by Miller, Chris [editor.] \| Rolin, Jean-Philippe [editor.] \| Speissegger, Patrick [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1536.	Introduction to Mathematical Structures and Proofs [electronic resource] / by Larry J. Gerstein. by Gerstein, Larry J [author.] \| SpringerLink (Online service). Edition: 2nd ed. 2012.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1537.	Data-Driven Methods for Adaptive Spoken Dialogue Systems [electronic resource] : Computational Learning for Conversational Interfaces / edited by Oliver Lemon, Olivier Pietquin. by Lemon, Oliver [editor.] \| Pietquin, Olivier [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1538.	Around and Beyond the Square of Opposition [electronic resource] / edited by Jean-Yves Béziau, Dale Jacquette. by Béziau, Jean-Yves [editor.] \| Jacquette, Dale [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Basel : Springer Basel, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1539.	Teoria algebrica dei meccanismi automatici [electronic resource] / edited by R. Righi. by Righi, R [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1540.	Foundations of Algebraic Specification and Formal Software Development [electronic resource] / by Donald Sannella, Andrzej Tarlecki. by Sannella, Donald [author.] \| Tarlecki, Andrzej [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics