|
1001.
|
Goguen Categories
: A Categorical Approach to L-fuzzy Relations /
: [electronic resource] :
by Winter, Michael [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 208 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).
|
|
1002.
|
Formal Ontology and Conceptual Realism
: [electronic resource] /
by Cocchiarella, Nino B [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 332 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).
|
|
1003.
|
Argumentative Indicators in Discourse
: A Pragma-Dialectical Study /
: [electronic resource] :
by Eemeren, Frans H. van [editor.] | Houtlosser, Peter [editor.] | Henkemans, A. Francisca Snoeck [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 234 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).
|
|
1004.
|
Handbook of Philosophical Logic
: [electronic resource] /
by Gabbay, D.M [editor.] | Guenthner, F [editor.] | SpringerLink (Online service). Edition: 2nd Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 345 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).
|
|
1005.
|
Passione per Trilli
: Alcune idee dalla matematica /
: [electronic resource] :
by Lucchetti, Roberto [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 154 pagg. online resource.Publisher: Milano : Springer Milan, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1006.
|
Trends in Continuum Mechanics of Porous Media
: [electronic resource] /
by Boer, Reint De [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 282 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).
|
|
1007.
|
Fuzzy Modeling with Spatial Information for Geographic Problems
: [electronic resource] /
by Petry, Frederick E [editor.] | Robinson, Vincent B [editor.] | Cobb, Maria A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 338 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1008.
|
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).
|
|
1009.
|
Introduction to Logic and Theory of Knowledge
: Lectures 1906/07 /
: [electronic resource] :
by Husserl, Edmund [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIX, 479 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).
|
|
1010.
|
Constructive Negations and Paraconsistency
: [electronic resource] /
by Odintsov, Sergei P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VI, 242 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).
|
|
1011.
|
Extensionalism
: The Revolution in Logic /
: [electronic resource] :
by Bar-Am, Nimrod [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 172 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).
|
|
1012.
|
Logic in Reality
: [electronic resource] /
by Brenner, Joseph E [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 362 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).
|
|
1013.
|
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).
|
|
1014.
|
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).
|
|
1015.
|
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).
|
|
1016.
|
A Geometry of Approximation
: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
: [electronic resource] :
by Pagliani, Piero [editor.] | Chakraborty, Mihir [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: LXXXII, 704 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).
|
|
1017.
|
German Idealism and the Problem of Knowledge: Kant, Fichte, Schelling, and Hegel
: [electronic resource] /
by Limnatis, Nectarios G [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 428 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).
|
|
1018.
|
Deduction, Computation, Experiment
: Exploring the Effectiveness of Proof /
: [electronic resource] :
by Lupacchini, Rossella [editor.] | Corsi, Giovanna [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 280 p. online resource.Publisher: Milano : Springer Milan, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1019.
|
Essays in Constructive Mathematics
: [electronic resource] /
by Edwards, Harold M [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 211 p. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1020.
|
A Modern Perspective on Type Theory
: From its Origins until Today /
: [electronic resource] :
by Kamareddine, Fairouz [author.] | Laan, Twan [author.] | Nederpelt, Rob [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 360 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).
|