|
|
1.
|
Mathmatical logic and the foundations of mathematics
: an introductory survey
by Kneebone, G.T. Material type:  Book Description: viii, 435p.Publisher: London D. Van Nostrand Company Limited 1963Availability: No items available Withdrawn (1).
|
|
|
2.
|
Abstraction, Refinement and Proof for Probabilistic Systems
: [electronic resource] /
by McIver, Annabelle [author.] | Morgan, Carroll [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XX, 388 p. 63 illus. 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).
|
|
|
3.
|
Adapting Proofs-as-Programs
: The Curry-Howard Protocol /
: [electronic resource] :
by Poernomo, Iman Hafiz [author.] | Wirsing, Martin [author.] | Crossley, John Newsome [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 420 p. 54 illus. 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).
|
|
|
4.
|
Parameterized Complexity Theory
: [electronic resource] /
by Flum, J�rg [author.1] | Grohe, Martin [author.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 495 p. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5.
|
Type-2 Fuzzy Logic: Theory and Applications
: [electronic resource] /
by Castillo, Oscar [author.] | Melin, Patricia [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 244 p. 188 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
6.
|
New Developments in Formal Languages and Applications
: [electronic resource] /
by Bel-Enguix, Gemma [editor.] | Jiménez-López, M. Dolores [editor.] | Martín-Vide, Carlos [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VII, 275 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
7.
|
Nonlinear Dimensionality Reduction
: [electronic resource] /
by Lee, John A [editor.1] | Verleysen, Michel [editor.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVII, 309 p. online resource.Publisher: New York, NY : Springer New York, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8.
|
The Calculus of Computation
: Decision Procedures with Applications to Verification /
: [electronic resource] :
by Bradley, Aaron R [author.] | Manna, Zohar [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 366 p. 60 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
9.
|
A logical Approach to Philosophy
: Essays in Honour of Graham Solomon /
: [electronic resource] :
by Devidi, David [editor.] | Kenyon, Tim [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 228 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
10.
|
Contributions to the Science of Text and Language
: Word Length Studies and Related Issues /
: [electronic resource] :
by Grzybek, Peter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 352 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
11.
|
Cambridge and Vienna
: Frank P. Ramsey and the Vienna Circle /
: [electronic resource] :
by Galavotti, Maria Carla [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 256 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
12.
|
The Age of Alternative Logics
: Assessing Philosophy of Logic and Mathematics Today /
: [electronic resource] :
by Benthem, Johan van [editor.] | Heinzmann, Gerhard [editor.] | Rebuschi, Manuel [editor.] | Visser, Henk [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 348 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
13.
|
Laws of Nature
: [electronic resource] /
by Mittelstaedt, Peter [author.] | Weingartner, Paul A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 376 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).
|
|
|
14.
|
New Computational Paradigms
: Changing Conceptions of What is Computable /
: [electronic resource] :
by Cooper, S. Barry [editor.] | Löwe, Benedikt [editor.] | Sorbi, Andrea [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 560 p. online resource.Publisher: New York, NY : Springer New York, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
15.
|
Mathematical Linguistics
: [electronic resource] /
by Kornai, András [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 290 p. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
16.
|
Algorithms in Invariant Theory
: [electronic resource] /
by Sturmfels, Bernd [author.] | SpringerLink (Online service). Edition: Second edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VII, 197 p. online resource.Publisher: Vienna : Springer Vienna, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
17.
|
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).
|
|
|
18.
|
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).
|
|
|
19.
|
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).
|
|
|
20.
|
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).
|
