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

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

Your search returned 261 results.

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

	241.	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)
	242.	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)
	243.	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)
	244.	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)
	245.	Games, Norms and Reasons [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Eric Pacuit. by van Benthem, Johan [editor.] \| Gupta, Amitabha [editor.] \| Pacuit, Eric [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)
	246.	Advanced Łukasiewicz calculus and MV-algebras [electronic resource] / by D. Mundici. by Mundici, D [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)
	247.	Strict Finitism and the Logic of Mathematical Applications [electronic resource] / by Feng Ye. by Ye, Feng [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)
	248.	Treatise on Intuitionistic Type Theory [electronic resource] / by Johan Georg Granström, Johan Georg Granström. by Granström, Johan Georg [author.] \| Granström, Johan Georg [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)
	249.	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 [editor.] \| Chudnovsky, Gregory [editor.] \| 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 : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	250.	Handbook of Set Theory [electronic resource] / edited by Matthew Foreman, Akihiro Kanamori. by Foreman, Matthew [editor.] \| Kanamori, Akihiro [editor.] \| 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)
	251.	A Course in Mathematical Logic for Mathematicians [electronic resource] / by Yu. I. Manin. by Manin, Yu. I [author.] \| SpringerLink (Online service). 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)
	252.	A Concise Introduction to Mathematical Logic [electronic resource] / by Wolfgang Rautenberg. by Rautenberg, Wolfgang [author.] \| 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, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	253.	The P=NP Question and Gödel’s Lost Letter [electronic resource] / by Richard J. Lipton. by Lipton, Richard J [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	254.	Cognitive Reasoning [electronic resource] : A Formal Approach / by Tamás Gergely, Oleg M. Anshakov. by Gergely, Tamás [author.] \| Anshakov, Oleg M [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	255.	Ernst Zermelo - Collected Works/Gesammelte Werke [electronic resource] : Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia / by Ernst Zermelo ; edited by Heinz-Dieter Ebbinghaus, Craig G. Fraser, Akihiro Kanamori. by Zermelo, Ernst [author.] \| Ebbinghaus, Heinz-Dieter [editor.] \| Fraser, Craig G [editor.] \| Kanamori, Akihiro [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	256.	Logical Tools for Handling Change in Agent-Based Systems [electronic resource] / by Dov M. Gabbay, Karl Schlechta. by Gabbay, Dov M [author.] \| Schlechta, Karl [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	257.	Banach Spaces and Descriptive Set Theory: Selected Topics [electronic resource] / by Pandelis Dodos. by Dodos, Pandelis [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	258.	Mathematical Logic [electronic resource] : Foundations for Information Science / by Wei Li. by Li, Wei [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Basel : Birkhäuser Basel, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	259.	Logic and Philosophy of Mathematics in the Early Husserl [electronic resource] / by Stefania Centrone. by Centrone, Stefania [author.] \| 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)
	260.	Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] / by Andrzej Indrzejczak. by Indrzejczak, Andrzej [author.] \| 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)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics