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

	1901.	Un mondo di idee [electronic resource] : La matematica ovunque / edited by Ciro Ciliberto, Roberto Lucchetti. by Ciliberto, Ciro [editor.] \| Lucchetti, Roberto [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Milano : Springer Milan, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1902.	Giuseppe Peano between Mathematics and Logic [electronic resource] : Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008 / edited by Fulvia Skof. by Skof, Fulvia [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Milano : Springer Milan, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1903.	Logica: Metodo Breve [electronic resource] / by Daniele Mundici. by Mundici, Daniele [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Milano : Springer Milan : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1904.	Prospects of Legal Semiotics [electronic resource] / edited by Anne Wagner, Jan Broekman. by Wagner, Anne [editor.] \| Broekman, Jan [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1905.	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 [editor.] \| Videira, Antonio [editor.] \| 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)
	1906.	Approaches to Legal Rationality [electronic resource] / edited by Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin. by Gabbay, Dov M [editor.] \| Canivez, Patrice [editor.] \| Rahman, Shahid [editor.] \| Thiercelin, Alexandre [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1907.	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 [author.] \| Lienig, Jens [author.] \| Markov, Igor L [author.] \| Hu, Jin [author.] \| 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)
	1908.	Belief Revision meets Philosophy of Science [electronic resource] / edited by Erik J. Olsson, Sebastian Enqvist. by Olsson, Erik J [editor.] \| Enqvist, Sebastian [editor.] \| 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)
	1909.	Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner. by Braüner, Torben [author.] \| 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)
	1910.	Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource] / by Ewa Orlowska, Joanna Golińska Pilarek. by Orlowska, Ewa [author.] \| Golińska Pilarek, Joanna [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1911.	Probabilistic Logics and Probabilistic Networks [electronic resource] / by Rolf Haenni, Jan-Willem Romeijn, Gregory Wheeler, Jon Williamson. by Haenni, Rolf [author.] \| Romeijn, Jan-Willem [author.] \| Wheeler, Gregory [author.] \| Williamson, Jon [author.] \| 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)
	1912.	Aristotle's Modal Proofs [electronic resource] : Prior Analytics A8-22 in Predicate Logic / by Adriane Rini. by Rini, Adriane [author.] \| 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)
	1913.	Dynamic Formal Epistemology [electronic resource] / edited by Patrick Girard, Olivier Roy, Mathieu Marion. by Girard, Patrick [editor.] \| Roy, Olivier [editor.] \| Marion, Mathieu [editor.] \| 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)
	1914.	Proof, Computation and Agency [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. by van Benthem, Johan [editor.] \| Gupta, Amitabha [editor.] \| Parikh, Rohit [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1915.	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 [editor.] \| Hallett, Michael [editor.] \| Clarke, Peter [editor.] \| 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)
	1916.	Methods of Cut-Elimination [electronic resource] / by Alexander Leitsch, Matthias Baaz. by Leitsch, Alexander [author.] \| Baaz, Matthias [author.] \| 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)
	1917.	Argument Structure: [electronic resource] : Representation and Theory / by James B. Freeman. by Freeman, James B [author.] \| 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)
	1918.	Vagueness: A Guide [electronic resource] / edited by Giuseppina Ronzitti. by Ronzitti, Giuseppina [editor.] \| 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)
	1919.	Foundational Theories of Classical and Constructive Mathematics [electronic resource] / edited by Giovanni Sommaruga. by Sommaruga, Giovanni [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1920.	Handbook of Philosophical Logic [electronic resource] : Volume 16 / edited by Dov M. Gabbay, Franz Guenthner. by Gabbay, Dov M [editor.] \| Guenthner, Franz [editor.] \| 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