Your search returned 10 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
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
2.
The unprovability of consistency : an essay in modal logic / George Boolos by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge : The University Press, c1979
Availability: Items available for loan: National Library of India (1)Call number: E160 B644.

Place hold Request article Save to lists
3.
Logic in algebraic form : three languages and theories / William Craig by Series: Studies in logic and the foundations of mathematics ; v. 72
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., 1974
Availability: Items available for loan: National Library of India (1)Call number: E164 C844.

Place hold Request article Save to lists
4.
Algebra of proofs / M. E. Szabo by Series: Studies in logic and the foundations of mathematics ; v. 88
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., 1978
Availability: Items available for loan: National Library of India (1)Call number: E510.1 Sz12.

Place hold Request article Save to lists
5.
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
6.
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
7.
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
8.
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
9.
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
10.
Proof methods for modal and intuitionistic logics / Melvin Fitting by Series: Synthese library ; v. 169
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Dordrecht : D. Reidel Pub., c1983
Availability: Items available for loan: National Library of India (1)Call number: E164 F564.

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