|
61.
|
The Arché Papers on the Mathematics of Abstraction
: [electronic resource] /
by Cook, Roy T [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXVIII, 454 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).
|
|
62.
|
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).
|
|
63.
|
Handbook of Spatial Logics
: [electronic resource] /
by Aiello, Marco [editor.] | Pratt-Hartmann, Ian [editor.] | Benthem, Johan Van [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 1058 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).
|
|
64.
|
Dynamic Epistemic Logic
: [electronic resource] /
by Ditmarsch, Hans van [author.] | Hoek, Wiebe van der [author.] | Kooi, Barteld [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 296 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).
|
|
65.
|
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).
|
|
66.
|
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).
|
|
67.
|
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).
|
|
68.
|
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).
|
|
69.
|
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).
|
|
70.
|
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).
|
|
71.
|
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).
|
|
72.
|
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).
|
|
73.
|
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).
|
|
74.
|
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).
|
|
75.
|
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).
|
|
76.
|
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).
|
|
77.
|
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).
|
|
78.
|
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
: [electronic resource] /
by Solojentsev, E. D [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 392 p. 82 illus. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
79.
|
Visualization, Explanation and Reasoning Styles in Mathematics
: [electronic resource] /
by Mancosu, Paolo [editor.1] | J�rgensen, Klaus Frovin [editor.1 ] | Pedersen, Stig Andur [editor.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 300 p. online resource.Dordrecht : Springer Netherlands, 2005. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
80.
|
Propositional and Predicate Calculus A Model of Argument
: [electronic resource] /
by Goldrei, Derek [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 315 p. online resource.Publisher: London : Springer London, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|