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 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Advances in proof theory/ [edited by] Reinhard Kahle, Thomas Strahm and Thomas Studer. by Series: Progress in computer science and applied logic ; v 28.
Material type: Text 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 Sy989.
Place hold Add to cart
2.
Advances in Proof Theory [electronic resource] / edited by Reinhard Kahle, Thomas Strahm, Thomas Studer. by Series: Progress in Computer Science and Applied Logic ; 28
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016 In: Springer eBooks
Online resources:
Availability: Items available for reference: ISI Library, Kolkata: Not for loan (1).
Add to cart
Pages
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