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.

« Previous
1
2
3
4
5
6
7
8
9
10
Next »

« Previous
1
2
3
4
5
6
7
8
9
10
Next »

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

	41.	Cambridge and Vienna [electronic resource] : Frank P. Ramsey and the Vienna Circle / edited by Maria Carla Galavotti. by Galavotti, Maria Carla \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	42.	The Arché Papers on the Mathematics of Abstraction [electronic resource] / edited by Roy T. Cook. by Cook, Roy T \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	43.	The Age of Alternative Logics [electronic resource] : Assessing Philosophy of Logic and Mathematics Today / edited by Johan Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser. by Benthem, Johan \| Heinzmann, Gerhard \| Rebuschi, Manuel \| Visser, Henk \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	44.	Perspectives On Mathematical Practices [electronic resource] : Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education / edited by Bart Kerkhove, Jean Paul Bendegem. by Kerkhove, Bart \| Bendegem, Jean Paul \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	45.	Brouwer Meets Husserl [electronic resource] : On the Phenomenology of Choice Sequences / by Mark Atten. by Atten, Mark \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	46.	Handbook of Spatial Logics [electronic resource] / edited by Marco Aiello, Ian Pratt-Hartmann, Johan Benthem. by Aiello, Marco \| Pratt-Hartmann, Ian \| Benthem, Johan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	47.	Handbook of Set Theory [electronic resource] / edited by Matthew Foreman, Akihiro Kanamori. by Foreman, Matthew \| Kanamori, Akihiro \| 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)
	48.	Information and Knowledge [electronic resource] : A Constructive Type-theoretical Approach / by Giuseppe Primiero. by Primiero, Giuseppe \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	49.	Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. by Carnielli, Walter \| Coniglio, Marcelo \| Gabbay, Dov M \| Gouveia, Paula \| Sernadas, Cristina \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	50.	Constructive Negations and Paraconsistency [electronic resource] / by Sergei P. Odintsov. by Odintsov, Sergei P \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	51.	Modalities and Multimodalities [electronic resource] : With the assistance and collaboration of Juliana Bueno-Soler / by Walter Carnielli, Claudio Pizzi. by Carnielli, Walter \| Pizzi, Claudio \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	52.	A Geometry of Approximation [electronic resource] : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns / edited by Piero Pagliani, Mihir Chakraborty. by Pagliani, Piero \| Chakraborty, Mihir \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	53.	Logicism, Intuitionism, and Formalism [electronic resource] : What has Become of Them? / edited by Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen. by Lindström, Sten \| Palmgren, Erik \| Segerberg, Krister \| Stoltenberg-Hansen, Viggo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	54.	Towards Mathematical Philosophy [electronic resource] : Papers from the Studia Logica conference Trends in Logic IV / edited by David Makinson, Jacek Malinowski, Heinrich Wansing. by Makinson, David \| Malinowski, Jacek \| Wansing, Heinrich \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	55.	Games: Unifying Logic, Language, and Philosophy [electronic resource] / edited by Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo. by Majer, Ondrej \| Pietarinen, Ahti-Veikko \| Tulenheimo, Tero \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	56.	From a Geometrical Point of View [electronic resource] : A Study of the History and Philosophy of Category Theory / by Jean-Pierre Marquis. by Marquis, Jean-Pierre \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	57.	Proof Theory for Fuzzy Logics [electronic resource] / by George Metcalfe, Nicola Olivetti, Dov Gabbay. by Metcalfe, George \| Olivetti, Nicola \| Gabbay, Dov \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	58.	A Course in Mathematical Logic for Mathematicians [electronic resource] / by Yu. I. Manin. by Manin, Yu. I \| 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)
	59.	A Concise Introduction to Mathematical Logic [electronic resource] / by Wolfgang Rautenberg. by Rautenberg, Wolfgang \| 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)
	60.	Proofs and Fundamentals [electronic resource] : A First Course in Abstract Mathematics / by Ethan D. Bloch. by Bloch, Ethan D \| 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)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics