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

	121.	Handbook of Spatial Logics [electronic resource] / edited by Marco Aiello, Ian Pratt-Hartmann, Johan Benthem. by Aiello, Marco \| Pratt-Hartmann, Ian \| Benthem, Johan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	122.	Handbook of Set Theory [electronic resource] / edited by Matthew Foreman, Akihiro Kanamori. by Foreman, Matthew \| Kanamori, Akihiro \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	123.	Dynamic Epistemic Logic [electronic resource] / by Hans Ditmarsch, Wiebe Hoek, Barteld Kooi. by Ditmarsch, Hans \| Hoek, Wiebe \| Kooi, Barteld \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	124.	Formalizing Medieval Logical Theories [electronic resource] : Suppositio, Consequentiae and Obligationes / by Catarina Dutilh Novaes. by Dutilh Novaes, Catarina \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	125.	Induction, Algorithmic Learning Theory, and Philosophy [electronic resource] / edited by Michèle Friend, Norma B. Goethe, Valentina S. Harizanov. by Friend, Michèle \| Goethe, Norma B \| Harizanov, Valentina S \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	126.	Goguen Categories [electronic resource] : A Categorical Approach to L-fuzzy Relations / by Michael Winter. by Winter, Michael \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	127.	Information and Knowledge [electronic resource] : A Constructive Type-theoretical Approach / by Giuseppe Primiero. by Primiero, Giuseppe \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	128.	Formal Ontology and Conceptual Realism [electronic resource] / by Nino B. Cocchiarella. by Cocchiarella, Nino B \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	129.	Argumentative Indicators in Discourse [electronic resource] : A Pragma-Dialectical Study / edited by Frans H. Eemeren, Peter Houtlosser, A. Francisca Snoeck Henkemans. by Eemeren, Frans H \| Houtlosser, Peter \| Henkemans, A. Francisca Snoeck \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	130.	Handbook of Philosophical Logic [electronic resource] / edited by D.M. Gabbay, F. Guenthner. by Gabbay, D.M \| Guenthner, F \| SpringerLink (Online service). Edition: 2nd Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	131.	Robustness and Usability in Modern Design Flows [electronic resource] / by Görschwin Fey, Rolf Drechsler. by Fey, Görschwin \| Drechsler, Rolf \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	132.	Practical Problems in VLSI Physical Design Automation [electronic resource] / by Sung Kyu Lim. by Lim, Sung Kyu \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	133.	Introduction to Logic and Theory of Knowledge [electronic resource] : Lectures 1906/07 / by Edmund Husserl. by Husserl, Edmund \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	134.	Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. by Carnielli, Walter \| Coniglio, Marcelo \| Gabbay, Dov M \| Gouveia, Paula \| Sernadas, Cristina \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	135.	Constructive Negations and Paraconsistency [electronic resource] / by Sergei P. Odintsov. by Odintsov, Sergei P \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	136.	Extensionalism [electronic resource] : The Revolution in Logic / by Nimrod Bar-Am. by Bar-Am, Nimrod \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	137.	Logic in Reality [electronic resource] / by Joseph E. Brenner. by Brenner, Joseph E \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	138.	The Unity of Science in the Arabic Tradition [electronic resource] : Science, Logic, Epistemology and their Interactions / edited by Shahid Rahman, Tony Street, Hassan Tahiri. by Rahman, Shahid \| Street, Tony \| Tahiri, Hassan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	139.	Unity, Truth and the Liar [electronic resource] : The Modern Relevance of Medieval Solutions to the Liar Paradox / edited by Shahid Rahman, Tero Tulenheimo, Emmanuel Genot. by Rahman, Shahid \| Tulenheimo, Tero \| Genot, Emmanuel \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	140.	Ingredients for Successful System Level Design Methodology [electronic resource] / by Hiren D. Patel, Sandeep K. Shukla. by Patel, Hiren D \| Shukla, Sandeep K \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online 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