Library Services | Technical University of Kenya catalog › Results of search for 'su:{foundations}'

Refine your search

Availability
- Limit to currently available items.
Authors
Item types
- General Circulation Books
- Reference
Locations
- General Stacks
- Reference
Series
Topics

	461.	Apartness and Uniformity [electronic resource] : A Constructive Development / by Douglas S. Bridges, Luminiţa Simona Vîţă. by Bridges, Douglas S [author.] \| Vîţă, Luminiţa Simona [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	462.	Logic and Games on Automatic Structures [electronic resource] : Playing with Quantifiers and Decompositions / by Łukasz Kaiser. by Kaiser, Łukasz [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	463.	The Mathematics of Language [electronic resource] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki. by Kanazawa, Makoto [editor.] \| Kornai, András [editor.] \| Kracht, Marcus [editor.] \| Seki, Hiroyuki [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	464.	Logic, Rationality, and Interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / edited by Hans Ditmarsch, Jérôme Lang, Shier Ju. by Ditmarsch, Hans [editor.] \| Lang, Jérôme [editor.] \| Ju, Shier [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	465.	La strana storia della luce e del colore [electronic resource] / by Rodolfo Guzzi. by Guzzi, Rodolfo [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)
	466.	La scienza delle costruzioni in Italia nell’Ottocento [electronic resource] : Un’analisi storica dei fondamenti della scienza delle costruzioni / by Danilo Capecchi, Giuseppe Ruta. by Capecchi, Danilo [author.] \| Ruta, Giuseppe [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)
	467.	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)
	468.	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)
	469.	Inside Risk: A Strategy for Sustainable Risk Mitigation [electronic resource] / edited by Scira Menoni, Claudio Margottini. by Menoni, Scira [editor.] \| Margottini, Claudio [editor.] \| 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)
	470.	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)
	471.	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)
	472.	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)
	473.	Rational Reconstructions of Modern Physics [electronic resource] / by Peter Mittelstaedt. by Mittelstaedt, Peter [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)
	474.	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)
	475.	The Theory of Turbulence [electronic resource] : Subrahmanyan Chandrasekhar's 1954 Lectures / edited by Edward A. Spiegel. by Spiegel, Edward A [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)
	476.	Earthquake Data in Engineering Seismology [electronic resource] : Predictive Models, Data Management and Networks / edited by Sinan Akkar, Polat Gülkan, Torild van Eck. by Akkar, Sinan [editor.] \| Gülkan, Polat [editor.] \| van Eck, Torild [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)
	477.	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)
	478.	Commentary on the Principles of Thermodynamics by Pierre Duhem [electronic resource] / edited by Paul Needham. by Needham, Paul [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)
	479.	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)
	480.	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)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics