Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis

Your search returned 37 results.

Results
	21.	Nuts and bolts of proofs an introduction to mathematical proofs by Cupillari Antonella Edition: 4th Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Academic Press 2013 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.36 C974. Place hold Add to cart (remove)
	22.	Proof theory and intuitionistic systems by Scarpellini Bruno Series: Lecture notes in mathematics; v 212 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1971 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Sc286. Place hold Add to cart (remove)
	23.	Proofs and refutations : the logic of mathematical discovery by Worrall John [ed.] Zahar Elie ed [ed.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge C U P 1976 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 L192. Place hold Add to cart (remove)
	24.	Comninators,lamda-terms and proof theory by Stenlund Soren Series: Synthese library monographs Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Holland D Reidel Pub 1972 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 St825. Place hold Add to cart (remove)
	25.	Proof theory by Schutte Kurt Crossley J N [] Series: Grundlehren der mathematischen wissenschaften,225 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1977 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Sch396. Place hold Add to cart (remove)
	26.	Algebra of proofs by Szabo M E Series: Studies in logic and the foundations of mathematics; 88 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland 1978 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Sz996. Place hold Add to cart (remove)
	27.	No cover image available Intuitionism and proof theory : Proceedings by Kino A ed Symposium on Intuitionism and proof theory( 1968 : Buffalo ) Series: Studies in logic and the foundations of mathematics,58 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London North-Holland 1970 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 St933(58). Place hold Add to cart (remove)
	28.	ISILC Proof theory symposium by Diller J D ed International Summer Institute and Logic Colloquium( 1974 : Univ of Kiel ) Series: Lecture notes in mathematics; v 500 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1975 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 In61P. Place hold Add to cart (remove)
	29.	No cover image available Computational logic and proof theory : proceedings by Cottlob Georg Kurt Godel Colloquium( 3rd : 1993 : Brno ) Kurt Godel Colloquium 3rd Brno, 1993 Series: Lecture notes in computer science, 713 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1993 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.131 K96(3). Place hold Add to cart (remove)
	30.	Types for proofs and programs selected papers by Gimenez Eduardo ed International Workshop TYPES '96 on Types for Proofs and Programs (15-19 Dec 1996 : Aussois,France) International workshop TYPES '96 on types for proofs and programs Aussois, France 15-19 Dec 1996 Series: Lecture notes in computer science; v 1512 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1998 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 In61. Place hold Add to cart (remove)
	31.	Three views of logic : mathematics, philosophy, and computer science / Donald W. Loveland, Richard E. Hodel and S.G. Sterrett. by Loveland, Donald W Hodel, Richard E Sterrett, S. G Material type: Text; Format: print ; Literary form: Not fiction Publication details: Princeton : PUP, c2014 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 L898. Place hold Add to cart (remove)
	32.	Proof theory : sequent calculi and related formalisms / Katalin Bimbo. by Bimbo, Katalin Series: Discrete mathematics and its applications Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton : CRC Press, c2015 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.36 B611. Place hold Add to cart (remove)
	33.	Statistical learning with sparsity : the lasso and generalizations / Trevor Hastie, Robert Tibshirani and Martin Wainwright. by Hastie, Trevor [author] Tibshirani, Robert [author] Wainwright, Martin [author] Series: Monographs on statistics and applied probability ; 143. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton : CRC Press, ©2015 Availability: Not available: ISI Library, Kolkata: Checked out (1). Place hold Add to cart (remove)
	34.	Problems and proofs in numbers and algebra / Richard Millman. by Millman, Richard Shiue, Peter J [author] Kahn, Eric Brendan [author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cham : Springer, 2015 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 512.7 M655. Place hold Add to cart (remove)
	35.	Proofs and Computations / Helmut Schwichtenberg, Stanley S. Wainer. by Schwichtenberg, Helmut [author.] Wainer, Stanley S [author.] Series: Perspectives in Logic \| Perspectives in Logic Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2011 Other title: Proofs & Computations Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	36.	Writing proofs in analysis / Jonathan M. Kane. by Kane, Jonathan M [author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Switzerland : Springer, 2016 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.36 K16. Place hold Add to cart (remove)
	37.	Statistical learning with sparsity: the lasso and generalizations/ Trevor Hastie, Robert Tibshirani, Martin Wainwright by Hastie, Trevor [author] Tibshirani, Robert [author] Wainwright, Martin [author] Series: Monographs on Statistics and Applied Probability ; 143 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton: CRC Press, 2015 Availability: Not available: ISI Library, Kolkata: Checked out (1). Place hold Add to cart (remove)

Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 37 results.