Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 15 results. Subscribe to this search

|
1. LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE

by Rahman,Shahid.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix,626.Publisher: Kluwer Academic Publishers,Aa Dordrecht 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 L829] (1).

2. Belief revision meets philosophy of science

by | Olsson, Erik. J., Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xx, 359p.Publisher: Dordrecht Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501 B412] (1).

3. Treatise on intuitionistic type theory

by Granstrom, Johan Georg.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 196p.Publisher: Dordrecht Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121.3 G767t] (1).

4. Logic, Thought and Action : [electronic resource] /

by Vanderveken, Daniel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 544 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

5. Nature's Principles : [electronic resource] /

by Faye, Jan [editor.] | Needham, Paul [editor.] | Scheffler, Uwe [editor.] | Urchs, Max [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 292 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

6. Perspectives On Mathematical Practices : Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education / : [electronic resource] :

by Kerkhove, Bart van [editor.] | Bendegem, Jean Paul van [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 242 p. online resource.Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

7. Formalizing Medieval Logical Theories : Suppositio, Consequentiae and Obligationes / : [electronic resource] :

by Dutilh Novaes, Catarina [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 316 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

8. Induction, Algorithmic Learning Theory, and Philosophy : [electronic resource] /

by Friend, Michèle [editor.] | Goethe, Norma B [editor.] | Harizanov, Valentina S [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 290 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

9. The Influence of Genetics on Contemporary Thinking : [electronic resource] /

by Fagot-Largeault, Anne [editor.] | Rahman, Shahid [editor.] | Torres, Juan Manuel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: LVI, 216 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

10. Information and Knowledge : A Constructive Type-theoretical Approach / : [electronic resource] :

by Primiero, Giuseppe [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: IX, 208 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

11. The Unity of Science in the Arabic Tradition : Science, Logic, Epistemology and their Interactions / : [electronic resource] :

by Rahman, Shahid [editor.] | Street, Tony [editor.] | Tahiri, Hassan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIII, 390 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

12. Unity, Truth and the Liar : The Modern Relevance of Medieval Solutions to the Liar Paradox / : [electronic resource] :

by Rahman, Shahid [editor.] | Tulenheimo, Tero [editor.] | Genot, Emmanuel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIV, 338 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

13. Modalities and Multimodalities : With the assistance and collaboration of Juliana Bueno-Soler / : [electronic resource] :

by Carnielli, Walter [author.] | Pizzi, Claudio [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 304 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

14. Leibniz: What Kind of Rationalist? : [electronic resource] /

by Dascal, Marcelo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 532 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

15. Paraconsistency : logic and applications

by Tanaka, Koji [ed.] | Mares, Edwin [ed.] | Berto, Francesco [ed.] | Paoli,Francesco [ed.].

Description: viii, 383p.Publisher: New Zealand Springer 2013Availability: No items available Checked out (1).

Powered by Koha