Results
|
|
|
|
Image from Google Jackets
|
Proof Theory by
Material type:  Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: Amsterdam North Holland 1975
Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R1 L5.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Google Jackets
|
Proof theory The first step into impredicativity. by
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: Berlin Springer 2009
Availability: Items available for loan: South Campus Library (1)Collection, call number: B: (R14) P9.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Structural Proof Theory by
Material type: Text; Format:
print
Language: English
Publication details: Cambridge University Press ; 2010
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Google Jackets
|
Proof theory by Series: Grundlehren der mathematischen wissenschaften; 225
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1977
Availability: Items available for loan: Central Science Library (1)Collection, call number: B12 L7.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Google Jackets
|
Proof theory by
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: 1975
Availability: Items available for loan: South Campus Library (1)Collection, call number: B:(R1) L5.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Google Jackets
|
|
|
|
|
|
Image from Google Jackets
|
Proof theory. by Series: Grundlehren der mathematischen wissenschaften 225
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: New York Springer-Verlag 1977
Availability: Items available for loan: South Campus Library (1)Collection, call number: R14 L7.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Advances in Proof Theory by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2016
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Google Jackets
|
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
A Model–Theoretic Approach to Proof Theory by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2019
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Ways of Proof Theory
Material type: Text; Format:
print
Language: English
Publication details: De Gruyter ; 2010
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Arithmetic, Proof Theory, and Computational Complexity by
Material type: Text; Format:
print
Language: English
Publication details: Oxford University PressOxford University Press 2023
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Google Jackets
|
Arithmetic, proof theory , and computational complexity by
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: 1993
Availability: Items available for loan: South Campus Library (1)Collection, call number: B1 N3.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Google Jackets
|
Proceeding on proof theory by Series: Lecture notes in mathematics; 500
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1975
Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1)p1,N74 L5.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Google Jackets
|
Proof theory: an introduction by Series: Lecture notes in mathematics; 1407
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: Berlin Springer Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) M9.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Google Jackets
|
|
|
|
|
|
Image from Google Jackets
|
|
|
|
|
|
Image from Google Jackets
|
Proof theory and intuitionistic systems. by
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: New York Springer-Verlag 1971
Availability: Items available for loan: South Campus Library (1)Collection, call number: R14 L1.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Google Jackets
|
Proceeding on proof techniques in graph theory by
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: New York Academic Press 1969
Availability: Items available for loan: Central Science Library (1)Collection, call number: B44p1,N68 K9.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Google Jackets
|
Proof theory and automated deducation. by Series: Applied logic series
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: London Kluwer Academic Publishers. 1997
Availability: Items available for loan: South Campus Library (1)Collection, call number: R193 N7.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Proof Theory and Algebra in Logic by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2019
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
|
|
|
|
|
Image from Google Jackets
|
Proceeding on computation and proof theory by Series: Lecture notes in mathematics; 1104
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: Berlin Springer Verlag 1984
Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1)p1,N83 M4.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Proof theory: sequent calculi and related formalisms by
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: Boca Raton CRC press 2015
Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) Q5.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Google Jackets
|
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Ergodic theory: with a view towards number theory by Series: ; Graduate texts in mathematics
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Spoken language: English
Publication details: London: Springer- Verlag, 2011
Availability: Items available for loan: Central Science Library (1)Collection, call number: B325 Q1 NBHM.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Google Jackets
|
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Advanced microeconomic theory by
Edition: 3rd
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: England Pearson Education Limited 2011
Availability: Items available for loan: Ratan Tata Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Measure Theory and Integration by
Edition: 2nd
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New Delhi: New Age, 2013
Availability: Items available for loan: Central Science Library (1)Collection, call number: B37:1 M1;Q3;20-;29.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Measure Theory and Integration by
Edition: 2nd
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New Delhi: New Age, 2013
Availability: Items available for loan: Central Science Library (1)Collection, call number: B37:1 M1;Q3;20-;29.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Measure Theory and Integration by
Edition: 2nd
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New Delhi: New Age, 2013
Availability: Items available for loan: Central Science Library (1)Collection, call number: B37:1 M1;Q3;20-;29.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Measure Theory and Integration by
Edition: 2nd
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New Delhi: New Age, 2013
Availability: Items available for loan: Central Science Library (1)Collection, call number: B37:1 M1;Q3;20-;29.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Representation theory of finite reductive groups by Series: New mathematical monographs ; 1
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: Cambridge ; Cambridge University Press, 2004
Availability: Items available for loan: Central Science Library (1)Collection, call number: B271 P4 NBHM.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Textbook of Graph Theory by
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New York: Springer, 2000
Availability: Items available for loan: Central Science Library (1)Collection, call number: B44 P0;2.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Measure Theory and Integration by
Edition: 2nd
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New Delhi: New Age, 2013
Availability: Items available for loan: Central Science Library (1)Collection, call number: B37:1 M1;Q3;20-;29.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Measure Theory and Integration by
Edition: 2nd
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New Delhi: New Age, 2013
Availability: Items available for loan: Central Science Library (1)Collection, call number: B37:1 M1;Q3;20-;29.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Measure Theory and Integration by
Edition: 2nd
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New Delhi: New Age, 2013
Availability: Items available for loan: Central Science Library (1)Collection, call number: B37:1 M1;Q3;20-;29.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Measure Theory and Integration by
Edition: 2nd
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New Delhi: New Age, 2013
Availability: Items available for loan: Central Science Library (1)Collection, call number: B37:1 M1;Q3;20-;29.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Measure Theory and Integration by
Edition: 2nd
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New Delhi: New Age, 2013
Availability: Items available for loan: Central Science Library (1)Collection, call number: B37:1 M1;Q3;20-;29.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Google Jackets
|
Introduction to analytic number of theory by
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: Verlag Springer 1968
Availability: Items available for reference: Ratan Tata Library : Not for loan (1)Collection, call number: B131:3 K8/SC.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Local cover image
Image from Google Jackets
|
Essays on the theory of numbers. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New York Dover Publications, Inc. 1963
Availability: Items available for reference: Ratan Tata Library : Not for loan (1)Collection, call number: B13 K3/SC.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Reliability of safety-critical systems : theory and applications by
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: New Jersey Wiley 2014
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2T0bD:4 Q4 TOR.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Modular representation theory of finite groups by
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: Dordrecht : Springer, 2013
Availability: Items available for loan: Central Science Library (1)Collection, call number: B271 Q3 NBHM.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
Elements of group theory for physicists by
Edition: 4th ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New Delhi: New Age International Publishers, 1997
Availability: Not available: Central Science Library: Checked out (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
Image from Amazon.com
Image from Google Jackets
|
|
