|
|
1.
|
ALGEBRA OF PROOFS
by Szabe, M. E. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xii,297.Publisher: Amsterdam North-Holland Pub. Co. 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sz12a] (1).
|
|
|
2.
|
ALGEBRA OF PROOFS
by Szabe, M. E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,297.Publisher: Amsterdam North-Holland Pub. Co. 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sz12a] (1).
|
|
|
3.
|
PROOF THEORY
by Takeuti, Gaisi. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,372.Publisher: Amsterdam North-Holland 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 T139p] (1).
|
|
|
4.
|
PROOF THEORY
by Schutte, Kurt | Crossley, J. N. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 302.Publisher: Berlin Springer-Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sch86] (1).
|
|
|
5.
|
COMBINATORS, TERMS AND PROOF THEORY
by Stenlund, Soren. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 184.Publisher: Dordrecht D. Reidel 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.6 St42c] (1).
|
|
|
6.
|
PROOF THEORY
by Aczel, Peter | Weiner, Stanley S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,306.Publisher: Cambridge Cambridge Univ. Pr. 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P945] (1).
|
|
|
7.
|
Analysis
: with an introduction to proof
by Lay, Steven R. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xii,303p.Publisher: New Jersey Prentice Hall 1990Availability: No items available Withdrawn (1).
|
|
|
8.
|
An introduction to mathematical reasining
: numbers, sets and functions
by Eccles, Peter J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 350p.Publisher: Cambridge Cambridge Univesity Press 1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 EC27i] (1).
|
|
|
9.
|
PROOF THEORY AND AUTOMATES DEDUCTION
by Goubault-Larrec,Jean | Mackie,Ian. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,424.Publisher: Kluwer Academic Publishers, Dordrecht 1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G72P] (1).
|
|
|
10.
|
Structural proof theory
by Negri, Sara | Plato, Jan Von. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 256p.Publisher: Cambridge Cambridge Univ. Press 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 N313s] (1).
|
|
|
11.
|
PROOF METHODS FOR MODAL AND INTUITIONISTIC LOGICS
by Fitting,Melvin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,555.Publisher: D. Reidel, Dordrecht 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F564P] (1).
|
|
|
12.
|
CONJECTURE AND PROOF
by Laczkovich,Miklos. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,118.Publisher: Mathematical Association Of America, Washington , Dc 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L119C] (1).
|
|
|
13.
|
PROOF THEORY OF MODAL LOGIC
by Heinrich Wansing | Wansing,Heinrich. Material type: Book Description: x,317.Publisher: Kluwer Academic Publishers, Dordrecht c1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P945W] (1).
|
|
|
14.
|
LECTURES ON THE CURRY-HOWARD ISOMORPHISM
by Sorensen,Morten Heine | Urzyczyn,Pawel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,442.Publisher: Elsevier, Amsterdam 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.326 SO68L] (1).
|
|
|
15.
|
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).
|
|
|
16.
|
REDUCTIVE LOGIC AND PROOF-SEARCH
by Pym,David J | Ritter,Eike. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,208.Publisher: Clarendon Press, Oxford 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P994R] (1).
|
|
|
17.
|
Applied proof theory
: proof interpretations and their use in mathematics
by Kohlenbach, U. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix,532p.Publisher: Berlin Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.36 K824a] (1).
|
|
|
18.
|
Proof theory
: the first step into impredicativity
by Pohlers, Wolfram. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,370p.Publisher: Berlin Springer 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.36 P754p] (1).
|
|
|
19.
|
Charming proofs
: a journey into elegant mathematics
by Alsina, Claudi | Nelsen, Roger B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv, 295p.Publisher: Washington, Dc Mathematical Association Of America 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511 Al78c] (1).
|
|
|
20.
|
Proofs and computations
by Schwichtenberg, Helmut | Wainer, Stanley S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 465p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.352 Sch99p] (1).
|
