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

By:

Contributor(s):

Material type: Text

TextSeries: Lecture Notes in Mathematics, No.0447Publication details: Springer-Verlag, Berlin 1975Edition: Description: Subject(s):

DDC classification:

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

Holdings
Item type	Current library	Home library	Call number	Status	Date due	Barcode
Book	Dept. of Mathematics Processing Center	Dept. of Mathematics	R LNM.0447 (Browse shelf(Opens below))	Available		MAT2483

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	R LNM.0444 Prime spectra in non-commutative algebra	R LNM.0445 et al.	R LNM.0446 Partial differential equations and related topics	R LNM.0447 Tableau systems for first order number theory and certain higher order theories	R LNM.0448 Spectral theory and differential equations	R LNM.0449 Hyperfunctions and theoretical physics	R LNM.0450 Algebra and logic	Next

There are no comments on this title.

to post a comment.