IMSc Library catalog › Details for: Tableau systems for first order number theory and certain higher order theories /

Normal view MARC view ISBD view

Tableau systems for first order number theory and certain higher order theories / Sue Toledo.

By: Toledo, Sue AnnMaterial type: Text

TextSeries: Lecture notes in mathematics (Springer-Verlag) ; 447.Publication details: Berlin ; New York : Springer-Verlag, 1975Description: 339 pISBN: 0387071490Subject(s): Proof theory | Number theory | Predicate calculus | Mathematics

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	51 LNM (Browse shelf (Opens below))		Available		14438

Bibliography: p. [335]-339.

There are no comments on this title.

to post a comment.