Library Services | Technical University of Kenya catalog › Results of search for 'se,phr:"Trends in Logic '

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

Your search returned 22 results.

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

	1.	Anaphora and Type Logical Grammar [electronic resource] / by Gerhard JÄger. by JÄger, Gerhard \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	2.	Goguen Categories [electronic resource] : A Categorical Approach to L-fuzzy Relations / by Michael Winter. by Winter, Michael \| 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)
	3.	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)
	4.	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)
	5.	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)
	6.	Philosophy of Syntax [electronic resource] : Foundational Topics / by Mieszko Talasiewicz. by Talasiewicz, Mieszko \| 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)
	7.	Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] / by Andrzej Indrzejczak. by Indrzejczak, Andrzej \| 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)
	8.	Gentzen Calculi for Modal Propositional Logic [electronic resource] / by Francesca Poggiolesi. by Poggiolesi, Francesca \| 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)
	9.	Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource] / by Ewa Orlowska, Joanna Golińska Pilarek. by Orlowska, Ewa \| Golińska Pilarek, Joanna \| 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)
	10.	Methods of Cut-Elimination [electronic resource] / by Alexander Leitsch, Matthias Baaz. by Leitsch, Alexander \| Baaz, Matthias \| 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)
	11.	Advanced Łukasiewicz calculus and MV-algebras [electronic resource] / by D. Mundici. by Mundici, D \| 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)
	12.	Paradoxes [electronic resource] / by Piotr Łukowski. by Łukowski, Piotr \| 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)
	13.	Leśniewski's Systems of Logic and Foundations of Mathematics [electronic resource] / by Rafal Urbaniak. by Urbaniak, Rafal [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	14.	Adaptive Logics for Defeasible Reasoning [electronic resource] : Applications in Argumentation, Normative Reasoning and Default Reasoning / by Christian Straßer. by Straßer, Christian [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	15.	Truth and Falsehood [electronic resource] : An Inquiry into Generalized Logical Values / by Yaroslav Shramko, Heinrich Wansing. by Shramko, Yaroslav [author.] \| Wansing, Heinrich [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	16.	Gentzen Calculi for Modal Propositional Logic [electronic resource] / by Francesca Poggiolesi. by Poggiolesi, Francesca [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)
	17.	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)
	18.	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)
	19.	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)
	20.	Paradoxes [electronic resource] / by Piotr Łukowski. by Łukowski, Piotr [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)

Library Services | Technical University of Kenya

Refine your search

Authors

Series

Topics