Mathematical intuitionism: introduction to proof theory/ A. G. Dragalin.

By:

Language: engrus Series: Translations of mathematical monographs ; v. 67.Publication details: Providence, R.I.: American Mathematical Society, c1988.Description: ix 228 p. ; 24 cmISBN:

Uniform titles:

Subject(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 D759m 1988 IMPA (Browse shelf(Opens below))	1	Available		39063000095615

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		Next
Previous	511.3 D629 2000 IMPA DNA Based Computers V: DIMACS Workshop DNA Based Computers V, June 14-15, 1999, Massachusetts Institute of Technology/	511.3 D629 2000 IMPA DNA Based Computers V: DIMACS Workshop DNA Based Computers V, June 14-15, 1999, Massachusetts Institute of Technology/	511.3 D748h 2020 IMPA A hierarchy of Turing degrees: a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability/	511.3 D759m 1988 IMPA Mathematical intuitionism: introduction to proof theory/	511.3 D813i 1957 IMPA Initiation a la logique/	511.3 D813l 1971 IMPA Logique et dialectique,/	511.3 D889e 1977 IMPA Elements of intuitionism/	Next

Includes indexes.

Bibliography: p. 201-216.

There are no comments on this title.

to post a comment.