Basic proof theory A.S. Troelstra, H. Schwichtenberg

By:

Contributor(s):

Publication details: Cambridge Cambridge University Press 1996Edition: 2nd edDescription: xi, 343 p. : ill. ; 24 cmISBN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	511.3 TRO (Browse shelf(Opens below))	Available		105192

Previous	No cover image available			No cover image available	No cover image available	No cover image available		Next
Previous	511.3 TOU Lectures in logic and set theory	511.3 TOU Mathematical logic	511.3 TRA Complexity and information	511.3 TRO Basic proof theory	511.3 TRO Basic proof theory	511.3 TUR Mathematical logic	511.3 UNG Analytic Hyperbolic Geometry and Albert Einstein'S Special Theory of Relativity	Next

Includes bibliographical references (p. 309-330) and index

There are no comments on this title.

to post a comment.

Find us on the map