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

Previous								Next
Previous	51 LNM Model theory and topoi :	51 LNM Prime spectra in non-commutative algebra /	51 LNM Partial differential equations and related topics /	51 LNM Tableau systems for first order number theory and certain higher order theories /	51 LNM Spectral theory and differential equations :	51 LNM Algebra and logic :	51 LNM Hyperfunctions and theoretical physics :	Next