Your search returned 6 results. Subscribe to this search

|
1. Completeness Theory for Propositional Logics [electronic resource] / by Witold A. Pogorzelski, Piotr Wojtylak.

by Pogorzelski, Witold A | Wojtylak, Piotr | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Basel : Birkhäuser Basel, 2008Online access: Click here to access online Availability: No items available
2. Institution-independent Model Theory [electronic resource] / by Răzvan Diaconescu.

by Diaconescu, Răzvan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Basel : Birkhäuser Basel, 2008Online access: Click here to access online Availability: No items available
3. Kripke’s Worlds [electronic resource] : An Introduction to Modal Logics via Tableaux / by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber.

by Gasquet, Olivier [author.] | Herzig, Andreas [author.] | Said, Bilal [author.] | Schwarzentruber, François [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2014Online access: Click here to access online Availability: No items available
4. Visual Reasoning with Diagrams [electronic resource] / edited by Amirouche Moktefi, Sun-Joo Shin.

by Moktefi, Amirouche [editor.] | Shin, Sun-Joo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2013Online access: Click here to access online Availability: No items available
5. Towards a General Theory of Classifications [electronic resource] / by Daniel Parrochia, Pierre Neuville.

by Parrochia, Daniel [author.] | Neuville, Pierre [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2013Online access: Click here to access online Availability: No items available
6. Around and Beyond the Square of Opposition [electronic resource] / edited by Jean-Yves Béziau, Dale Jacquette.

by Béziau, Jean-Yves [editor.] | Jacquette, Dale [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Basel : Springer Basel, 2012Online access: Click here to access online Availability: No items available

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