|
161.
|
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).
|
|
162.
|
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).
|
|
163.
|
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).
|
|
164.
|
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).
|
|
165.
|
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).
|
|
166.
|
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).
|
|
167.
|
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).
|
|
168.
|
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).
|
|
169.
|
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).
|
|
170.
|
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).
|
|
171.
|
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).
|
|
172.
|
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).
|
|
173.
|
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).
|
|
174.
|
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).
|
|
175.
|
18 Unconventional Essays on the Nature of Mathematics
: [electronic resource] /
by Hersh, Reuben [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 326 p. 10 illus. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
176.
|
A Concise Introduction to Mathematical Logic
: [electronic resource] /
by Rautenberg, Wolfgang [author.] | SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 256 p. 8 illus. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
177.
|
Deontic logic
: introductory and systematic readings
by Hilpinen, Risto [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 183p.Publisher: Boston D. Reidel Publishing Co. 1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H561] (1).
|
|
178.
|
Language and logic in the post-medieval period
by Ashworth, E. J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 304p.Publisher: Dordrecht D.Reidel 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 As98l] (1).
|
|
179.
|
Language, proof and logic
by Barker-Plummer, Dave | Barwise, Jon | Etchemendy, John. Edition: 2nd ed. Description: xiii, 606p.Publisher: California CSLI 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B241l2] (1).
|
|
180.
|
An introduction to non-classical logic [2nd ed.]
: from If to Is
by Priest, Graham. Edition: 2nd ed. Description: xxxii, 613p.Publisher: Cambridge Cambridge University Press 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P933i2 cop.2] (4). Checked out (1).
|