Arithmetic, proof theory, and computational complexity/ Peter Clote.

By:

Contributor(s):

Publication details: Oxford: Clarendon Press, 1992.Edition: [1st ed.]Description: 428 pSubject(s):

DDC classification:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	511.3 C646a 1992 IMPA (Browse shelf(Opens below))	1	Available		39063000095532

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	Next
Previous	511.3 C561c 1941 IMPA The calculi of lambda-conversion/	511.3 C561i 1956 IMPA Introduction to mathematical logic. Vol. I/	511.3 C569m 1992 IMPA O método dos isomorfismos parciais: um estudo da expressabilidade matemática/	511.3 C646a 1992 IMPA Arithmetic, proof theory, and computational complexity/	511.3 C678c 1987 IMPA Computability and logic/	511.3 C678i 1934 IMPA An introduction to logic and scientific method/	511.3 C714 1965 IMPA Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications: Tihany, 11-15 Septembre 1962/	Next

There are no comments on this title.

to post a comment.