Refine your search

Your search returned 36 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
2.
Proof theory / Gaisi Takeuti by Series: Studies in logic and the foundations of mathematics ; v. 81
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland, 1987
Availability: Items available for loan: National Library of India (1)Call number: E517.0108 T139(1).

Place hold Request article Save to lists
3.
Proof theory / Kurt Schutte ; translation from the German by J. N. Crossley by Series: Grundlehren der mathematischen Wissenschaften ; 225
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Original language: German
Publication details: Berlin : Springer-Verlag, c1977
Availability: Items available for loan: National Library of India (1)Call number: E/O 510.1 Sch 79.

Place hold Request article Save to lists
4.
Proof theory / Gaisi Takeuti by Series: Studies in logic and the foundations of mathematics ; v. 81
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland, 1975
Availability: Items available for loan: National Library of India (1)Call number: E517.0108 T139.

Place hold Request article Save to lists
5.
Tableau systems for first order number theory and certain higher order theories / Sue Toledo by Series: Lecture notes in mathematics ; 447
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin : Springer-Verlag, 1975
Availability: Items available for loan: National Library of India (1)Call number: S.T 510.82 L 497no447.

Place hold Request article Save to lists
6.
No cover image available
Handbook of proof theory / M. C. Mohan by Series: Studies in logic and the foundations of mathematics ; v. 137
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Lahore : [s. n.], [n.d.]
Availability: Items available for loan: National Library of India (1)Call number: 161 A 121.

Place hold Request article Save to lists
7.
The notion of mathematical proof : key rules and considerations / edited by Olga Moreira by
Publication details: Canada : Arcler Press, c2023
Availability: Items available for loan: National Library of India (1)Call number: E 511.36 N 845 mo.

Place hold Request article Save to lists
8.
Proof theory and logical complexity / Jean-Yves Girard by Series: Studies in proof theory
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Publication details: Napoli : Bibliopolis, c1987-
Availability: Items available for loan: National Library of India (1)Call number: E 511.36 G 441.

Place hold Request article Save to lists
9.
No cover image available
Handbook of proof theory / M. C. Mohan by Series: Studies in logic and the foundations of mathematics ; v. 137
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Lahore : [s. n.], [n.d.]
Availability: Items available for loan: National Library of India (1)Call number: 161 A 121.

Place hold Request article Save to lists
10.
Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra (ed.) by Series: Lecture notes in mathematics ; 344
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin : Springer, 1973
Availability: Items available for loan: National Library of India (1)Call number: S.T 510.82 L 497no344.

Place hold Request article Save to lists
11.
The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs [Electronic resource]/ Antonella Cupillari by
Edition: 4th ed.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publication details: Amsterdam: Elsevier, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
12.
Charming Proofs [electronic resource] : A Journey into Elegant Mathematics / Claudi Alsina, Roger Nelsen. by Series: Cambridge Bioethics and Law ; no. 18
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cambridge : The University Press, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
13.
No cover image available
Kaṇita arivuku viruntu கணித அறிவுக்கு விருந்து க. க, ராமலிங்கம் Rāmaliṅkam, K. K by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Tamil
Publication details: சென்னை: கங்கை புத்தக நிலையம், 1994
Availability: Items available for loan: National Library of India (1)Call number: Ta 511.313 Ra 661 k.

Place hold Request article Save to lists
14.
The nuts and bolts of proofs : an introduction to mathematical proofs / Antonella Cupillari. by
Edition: 4th ed.
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: Waltham, MA : Academic Press, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
15.
Anselm's other argument / A. D. Smith. by Series: Theory of Knowledge
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cambridge, Massachusetts ; London, England : Harvard University Press, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
16.
Learning to reason : an introduction to logic, sets and relations / Nancy Rodgers by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Wiley, 2000
Availability: Items available for loan: National Library of India (1)Call number: E/O 511.3 R 616.

Place hold Request article Save to lists
17.
Relational Calculus for Actionable Knowledge [electronic resource] / by Michel Barès, Éloi Bossé. by Series: Information Fusion and Data Science
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.7.

Place hold Save to lists
18.
Proof theory of modal logic / edited by Heinrich Wansing by Series: Applied logic series ; v. 2
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston : Kluwer, 1996
Availability: Items available for loan: National Library of India (1)Call number: E511.3 P945.

Place hold Request article Save to lists
19.
Combinators, -terms and proof theory / Soren Stenlund by Series: Synthese library
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Dordrecht : D. Reidel, 1972
Dissertation note: Akademisk avhandling--Uppsala
Availability: Items available for loan: National Library of India (1)Call number: E 572.5 St 42.

Place hold Request article Save to lists
20.
Proof theory of modal logic / edited by Heinrich Wansing by Series: Applied logic series ; v. 2
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston : Kluwer Academic Publishers, 1996
Availability: Items available for loan: National Library of India (1)Call number: E 511.3 P 945.

Place hold Request article Save to lists
                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India