|
1.
|
LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE
by Rahman,Shahid. Material type: 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; 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; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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).
|