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:

ISSN:

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		95304

Previous			No cover image available	No cover image available	No cover image available			Next
Previous	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	511.3 VAA Dependence logic : a new approach to independence friendly logic	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