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

There are no comments on this title.

to post a comment.