The KCAU Library

Menu

Your search returned 25 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
2.
3.
4.
Conditionals and Modularity in General Logics [electronic resource] / by Dov M. Gabbay, Karl Schlechta. by Series: Cognitive Technologies
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
In: Springer eBooks
Online access:
Availability: No items available.
Add to cart
5.
6.
7.
8.
Logic and Games on Automatic Structures [electronic resource] : Playing with Quantifiers and Decompositions / by Łukasz Kaiser. by Series: Lecture Notes in Computer Science ; 6810
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In: Springer eBooks
Online access:
Availability: No items available.
Add to cart
9.
Treatise on Intuitionistic Type Theory [electronic resource] / by Johan Georg Granström, Johan Georg Granström. by Series: Logic, Epistemology, and the Unity of Science ; 22
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Dordrecht : Springer Science+Business Media B.V., 2011
In: Springer eBooks
Online access:
Availability: No items available.
Add to cart
10.
Foundational Theories of Classical and Constructive Mathematics [electronic resource] / edited by Giovanni Sommaruga. by Series: The Western Ontario Series in Philosophy of Science ; 76
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Dordrecht : Springer Science+Business Media B.V., 2011
In: Springer eBooks
Online access:
Availability: No items available.
Add to cart
11.
12.
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 Series: Lecture Notes in Computer Science ; 6690
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In: Springer eBooks
Online access:
Availability: No items available.
Add to cart
13.
14.
Strict Finitism and the Logic of Mathematical Applications [electronic resource] / by Feng Ye. by Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 355
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Dordrecht : Springer Science+Business Media B.V., 2011
In: Springer eBooks
Online access:
Availability: No items available.
Add to cart
15.
Schaum's outline of theory and problems of discrete mathematics / Seymour Lipschutz, Marc Lars Lipson. by Series: Schaum's outline series
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : McGraw-Hill, c1997
Other title:
  • Theory and problems of discrete mathematics
  • Discrete mathematics
Availability: Items available for loan: KCA Kisumu Campus (2)Call number: QA162 .L56 1997, ... Martin Oduor-Otieno Library (1)Call number: QA162 .L56 1997. Not available: Martin Oduor-Otieno Library: Checked out (1).
Place hold Add to cart
16.
Discrete mathematics and its applications / Kenneth H. Rosen. by
Edition: 6th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Tata McGraw-Hill, c2007
Availability: Items available for loan: KCA Kisumu Campus (1)Call number: QA39.3 .R67 2007. Items available for reference: KCA Kisumu Campus: Not for loan (1)Call number: QA39.3 .R67 2007. Not available: Martin Oduor-Otieno Library: Checked out (1).
Place hold Add to cart
17.
A course in mathematical logic / by J. L. Bell and M. Machover. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam : New York : 1977
Availability: Items available for loan: KCA Kisumu Campus (1)Call number: QA9 .B3953 1977. Martin Oduor-Otieno Library (1)Call number: QA9 .B3953 1977.
Place hold Add to cart
18.
Schaum's outline of discrete mathematics / Seymour Lipschutz, Marc Lars Lipson, Varsha H. Patil. by Series: Schaum's outline series
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Tata McGraw-Hill, c1997
Availability: Items available for loan: KCA Kisumu Campus (3)Call number: QA162 .L56 2007, ... Martin Oduor-Otieno Library (1)Call number: QA162 .L56 1997. Not available: Martin Oduor-Otieno Library: Checked out (1).
Place hold Add to cart
19.
Discrete mathematics and its applications : with combinatorics and graph theory / Kenneth H. Rosen. by
Edition: 6th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Tata McGraw-Hill, c2007
Availability: Items available for loan: Martin Oduor-Otieno Library (1)Call number: QA39.3 .R67 2007.
Place hold Add to cart
20.
Schaum's outline of theory and problems of discrete mathematics / Seymour Lipschutz, Marc Lars Lipson. by Series: Schaum's outline series
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Tata McGraw-Hill, 2007
Other title:
  • Theory and problems of discrete mathematics
  • Discrete mathematics
Availability: Items available for loan: Martin Oduor-Otieno Library (3)Call number: QA39.2 .L56 2007, ...
Place hold Add to cart
Pages
KCAU Library,
KCA University ,
Thika Road Ruaraka
P. O. Box 56808 – 00200 Nairobi, Kenya

More Links

More Links

Powered by Koha