Your search returned 19 results.

Results
	1.	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 Hallett, Michael Clarke, Peter SpringerLink (Online service) Series: The Western Ontario Series in Philosophy of Science ; 75 Material type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science+Business Media B.V., 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	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 Kornai, András Kracht, Marcus Seki, Hiroyuki SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6878 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Martin Hofmann. by Hofmann, Martin SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6604 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Games, Norms and Reasons [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Eric Pacuit. by van Benthem, Johan Gupta, Amitabha Pacuit, Eric SpringerLink (Online service) Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 353 Material type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science+Business Media B.V., 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Conditionals and Modularity in General Logics [electronic resource] / by Dov M. Gabbay, Karl Schlechta. by Gabbay, Dov M Schlechta, Karl SpringerLink (Online service) Series: Cognitive Technologies Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Algebraic Foundations in Computer Science [electronic resource] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis. by Kuich, Werner Rahonis, George SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7020 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	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 Lang, Jérôme Ju, Shier SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6953 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Models of Computation in Context [electronic resource] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings / edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova. by Löwe, Benedikt Normann, Dag Soskov, Ivan Soskova, Alexandra SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6735 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan. by Simao, Adenilso Morgan, Carroll SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7021 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Mathematical Foundations of Computer Science 2011 [electronic resource] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings / edited by Filip Murlak, Piotr Sankowski. by Murlak, Filip Sankowski, Piotr SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6907 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Apartness and Uniformity [electronic resource] : A Constructive Development / by Douglas S. Bridges, Luminiţa Simona Vîţă. by Bridges, Douglas S Vîţă, Luminiţa Simona SpringerLink (Online service) Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao. by Davies, Jim Silva, Leila Simao, Adenilso SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6527 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Logic and Games on Automatic Structures [electronic resource] : Playing with Quantifiers and Decompositions / by Łukasz Kaiser. by Kaiser, Łukasz SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6810 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Treatise on Intuitionistic Type Theory [electronic resource] / by Johan Georg Granström, Johan Georg Granström. by Granström, Johan Georg Granström, Johan Georg SpringerLink (Online service) Series: Logic, Epistemology, and the Unity of Science ; 22 Material type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science+Business Media B.V., 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Foundational Theories of Classical and Constructive Mathematics [electronic resource] / edited by Giovanni Sommaruga. by Sommaruga, Giovanni SpringerLink (Online service) Series: The Western Ontario Series in Philosophy of Science ; 76 Material type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science+Business Media B.V., 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Proof, Computation and Agency [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. by van Benthem, Johan Gupta, Amitabha Parikh, Rohit SpringerLink (Online service) Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352 Material type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science+Business Media B.V., 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	17.	Typed Lambda Calculi and Applications [electronic resource] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / edited by Luke Ong. by Ong, Luke SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6690 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	18.	Tools for Teaching Logic [electronic resource] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings / edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano. by Blackburn, Patrick Ditmarsch, Hans Manzano, María Soler-Toscano, Fernando SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6680 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	19.	Strict Finitism and the Logic of Mathematical Applications [electronic resource] / by Feng Ye. by Ye, Feng SpringerLink (Online service) Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 355 Material type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science+Business Media B.V., 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)

KCAU Library,
KCA University ,
Thika Road Ruaraka
P. O. Box 56808 – 00200 Nairobi, Kenya

More Links

More Links

0
1
2
3
4
5
6

Powered by Koha