Periódicos correntes

Image from OpenLibrary

Normal view MARC view ISBD view

Intuitionism and proof theory: Proceedings of the summer conference at Buffalo, N.Y., 1968/ edited by A. Kino, J. Myhill and R. E. Vesley.

By:

Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)

Contributor(s):

Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam: North-Holland, 1970.Description: viii, 516 p.: 23 cmSubject(s):

DDC classification:

511.3 I61

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 I61 1970 IMPA (Browse shelf(Opens below))	1	Available		39063000099914

Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)

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 H689m 1993 IMPA Model theory/	511.3 H927c 1989 IMPA The chances of explanation: causal explanation in the social, medical, and physical sciences/	511.3 I43 2011 IMPA Infinity: new research frontiers/	511.3 I61 1970 IMPA Intuitionism and proof theory: Proceedings of the summer conference at Buffalo, N.Y., 1968/	511.3 IMPA Scientific inference/	511.3 IMPA La structure algébrique des théories mathématiques/	511.3 IMPA Les fondements des mathématiques; intuitionnisme, théorie de la démonstration/	Next

Includes bibliographies.

There are no comments on this title.

to post a comment.

© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto

Powered by Koha