Welcome to the Online Catalogue, 

Central Library

Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI), Belur
       
                       Accredited by NAAC with A++  Grade
Amazon cover image
Image from Amazon.com

Tableau systems for first order number theory and certain higher order theories

By: Sue ToledoMaterial type: TextTextLanguage: English Series: Lecture notes in Mathematics; 447Publication details: Springer-Verlag 1975 Edition: Description: iv, 339pISBN: 9783540071495 (PB)Subject(s): PROOF THEORY | NUMBER THEORY | PREDICATE CALCULUSDDC classification: 511.3 TOL(TAB)
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Materials specified Copy number Status Date due Barcode Item holds
Books Books Central Library
511.3 TOL(TAB) (Browse shelf(Opens below)) 1 Available 9493
Total holds: 0

925/2009-10 / 23-09-2009

There are no comments on this title.

to post a comment.
Visitor count :