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

	1281.	EPSA Epistemology and Methodology of Science [electronic resource] : Launch of the European Philosophy of Science Association / edited by Mauricio Suárez, Mauro Dorato, Miklós Rédei. by Suárez, Mauricio \| Dorato, Mauro \| Rédei, Miklós \| 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)
	1282.	Philosophy of Syntax [electronic resource] : Foundational Topics / by Mieszko Talasiewicz. by Talasiewicz, Mieszko \| 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)
	1283.	Singular Reference: A Descriptivist Perspective [electronic resource] / by Francesco Orilia. by Orilia, Francesco \| 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)
	1284.	Infinite Regress Arguments [electronic resource] / by Claude Gratton. by Gratton, Claude \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1285.	The Vienna Circle in the Nordic Countries [electronic resource] / edited by Juha Manninen, Friedrich Stadler. by Manninen, Juha \| Stadler, Friedrich \| 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)
	1286.	Phenomenology and Mathematics [electronic resource] / edited by Mirja Hartimo. by Hartimo, Mirja \| 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)
	1287.	Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] / by Andrzej Indrzejczak. by Indrzejczak, Andrzej \| 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)
	1288.	Procedural Semantics for Hyperintensional Logic [electronic resource] : Foundations and Applications of Transparent Intensional Logic / by Marie Duží, Bjorn Jespersen, Pavel Materna. by Duží, Marie \| Jespersen, Bjorn \| Materna, Pavel \| 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)
	1289.	Prospects of Legal Semiotics [electronic resource] / edited by Anne Wagner, Jan Broekman. by Wagner, Anne \| Broekman, Jan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1290.	Brazilian Studies in Philosophy and History of Science [electronic resource] : An account of recent works / edited by Décio Krause, Antonio Videira. by Krause, Décio \| Videira, Antonio \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1291.	Approaches to Legal Rationality [electronic resource] / edited by Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin. by Gabbay, Dov M \| Canivez, Patrice \| Rahman, Shahid \| Thiercelin, Alexandre \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1292.	VLSI Physical Design: From Graph Partitioning to Timing Closure [electronic resource] / by Andrew B. Kahng, Jens Lienig, Igor L. Markov, Jin Hu. by Kahng, Andrew B \| Lienig, Jens \| Markov, Igor L \| Hu, Jin \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1293.	Belief Revision meets Philosophy of Science [electronic resource] / edited by Erik J. Olsson, Sebastian Enqvist. by Olsson, Erik J \| Enqvist, Sebastian \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1294.	Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner. by Braüner, Torben \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1295.	Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource] / by Ewa Orlowska, Joanna Golińska Pilarek. by Orlowska, Ewa \| Golińska Pilarek, Joanna \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1296.	Probabilistic Logics and Probabilistic Networks [electronic resource] / by Rolf Haenni, Jan-Willem Romeijn, Gregory Wheeler, Jon Williamson. by Haenni, Rolf \| Romeijn, Jan-Willem \| Wheeler, Gregory \| Williamson, Jon \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1297.	Aristotle's Modal Proofs [electronic resource] : Prior Analytics A8-22 in Predicate Logic / by Adriane Rini. by Rini, Adriane \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1298.	Dynamic Formal Epistemology [electronic resource] / edited by Patrick Girard, Olivier Roy, Mathieu Marion. by Girard, Patrick \| Roy, Olivier \| Marion, Mathieu \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1299.	Proof, Computation and Agency [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. by van Benthem, Johan \| Gupta, Amitabha \| Parikh, Rohit \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1300.	Logic, Mathematics, Philosophy, Vintage Enthusiasms [electronic resource] : Essays in Honour of John L. Bell / edited by David DeVidi, Michael Hallett, Peter Clarke. by DeVidi, David \| Hallett, Michael \| Clarke, Peter \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online 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