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

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

Your search returned 342 results.

« Previous
7
8
9
10
11
12
13
14
15
16
17
18
Next »

« Previous
7
8
9
10
11
12
13
14
15
16
17
18
Next »

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

	301.	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)
	302.	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)
	303.	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)
	304.	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)
	305.	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)
	306.	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)
	307.	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)
	308.	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)
	309.	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)
	310.	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)
	311.	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)
	312.	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)
	313.	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)
	314.	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)
	315.	Specification and Verification of Multi-agent Systems [electronic resource] / edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer. by Dastani, Mehdi [editor.] \| Hindriks, Koen V [editor.] \| Meyer, John-Jules Charles [editor.] \| 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)
	316.	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)
	317.	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)
	318.	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)
	319.	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)
	320.	Transactions on Rough Sets XI [electronic resource] / edited by James F. Peters, Andrzej Skowron. by Peters, James F [editor.] \| Skowron, Andrzej [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)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Series

Topics