Proof theory and logical complexity

By:

Material type: Text

TextLanguage: English Series: Studies in proff theory monographs; 1Publication details: N Y Elsevier Science Pub 1987Description: 503pSubject(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	Call number	Status	Date due	Barcode	Item holds
Books	ISI Library, Kolkata	511.3 G517 (Browse shelf(Opens below))	Available		112904

Total holds: 0

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available			Next
Previous	511.3 G493 Introduction to mathematical machine theory	511.3 G493 Algebraic theory of automata	511.3 G493 Algebraic theory of automata	511.3 G517 Proof theory and logical complexity	511.3 G518 Proof and types	511.3 G518 Proof and types	511.3 G581 Consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory	Next

There are no comments on this title.

to post a comment.