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

	41.	Coordination of Large-Scale Multiagent Systems [electronic resource] / edited by Paul Scerri, Régis Vincent, Roger Mailler. by Scerri, Paul \| Vincent, Régis \| Mailler, Roger \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	42.	Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Poernomo, Iman Hafiz \| Wirsing, Martin \| Crossley, John Newsome \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	43.	18 Unconventional Essays on the Nature of Mathematics [electronic resource] / edited by Reuben Hersh. by Hersh, Reuben \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	44.	Modelling and Reasoning with Vague Concepts [electronic resource] / by Jonathan Lawry. by Lawry, Jonathan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	45.	M-Solid Varieties of Algebras [electronic resource] / by J. Koppitz, K. Denecke. by Koppitz, J \| Denecke, K \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	46.	Fault-Tolerance Techniques for SRAM-based FPGAs [electronic resource] / by Fernanda Lima Kastensmidt, Luigi Carro, Ricardo Reis. by Kastensmidt, Fernanda Lima \| Carro, Luigi \| Reis, Ricardo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	47.	Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev. by Gabbay, Dov M \| Goncharov, Sergei S \| Zakharyaschev, Michael \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	48.	Notes on Set Theory [electronic resource] / by Yiannis Moschovakis. by Moschovakis, Yiannis \| SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	49.	Computation Engineering [electronic resource] : Applied Automata Theory and Logic / by Ganesh Gopalakrishnan. by Gopalakrishnan, Ganesh \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	50.	A Concise Introduction to Mathematical Logic [electronic resource] / by Wolfgang Rautenberg. by Rautenberg, Wolfgang \| SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	51.	Ideals, Varieties, and Algorithms [electronic resource] : An Introduction to Computational Algebraic Geometry and Commutative Algebra / by David Cox, John Little, Donal O’Shea. by Cox, David \| Little, John \| O’Shea, Donal \| SpringerLink (Online service). Edition: 3.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	52.	Problems and Theorems in Classical Set Theory [electronic resource] / by Péter Komjáth, Vilmos Totik. by Komjáth, Péter \| Totik, Vilmos \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	53.	Techniques of Constructive Analysis [electronic resource] / by Douglas S. Bridges, Luminiţa Simona Vîţă. by Bridges, Douglas S \| Vîţă, Luminiţa Simona \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	54.	New Approaches to Circle Packing in a Square [electronic resource] : With Program Codes / by P. G. Szabó, M. Cs. Markót, T. Csendes, E. Specht, L. G. Casado, I. García. by Szabó, P. G \| Markót, M. Cs \| Csendes, T \| Specht, E \| Casado, L. G \| García, I \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	55.	The Proof is in the Pudding [electronic resource] : The Changing Nature of Mathematical Proof / by Steven G. Krantz. by Krantz, Steven G \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	56.	Additive Number Theory [electronic resource] : Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson / edited by David Chudnovsky, Gregory Chudnovsky. by Chudnovsky, David \| Chudnovsky, Gregory \| SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	57.	Introduction to Boolean Algebras [electronic resource] / by Paul Halmos, Steven Givant. by Halmos, Paul \| Givant, Steven \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	58.	New Computational Paradigms [electronic resource] : Changing Conceptions of What is Computable / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi. by Cooper, S. Barry \| Löwe, Benedikt \| Sorbi, Andrea \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	59.	Mathematical Problems from Applied Logic II [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov. by Gabbay, Dov M \| Zakharyaschev, Michael \| Goncharov, Sergei S \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	60.	A Modular Calculus for the Average Cost of Data Structuring [electronic resource] / by Michel Schellekens. by Schellekens, Michel \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 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