Periódicos correntes

Image from OpenLibrary

Normal view MARC view ISBD view

A transfinite type theory with type variables/ by P. B. Andrews.

By:

Andrews, P. B. (Peter Bruce), 1937-

Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam ; North-Holland, 1965.Description: xv, 143 p.: 23 cmSubject(s):

DDC classification:

511.3 A568t

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 A568t 1965 IMPA (Browse shelf(Opens below))	1	Available		39063000099815

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	Next
Previous	511.3 A496l 1961 IMPA Logic: the theory of formal inference/	511.3 A532 1996 IMPA Logical reasoning with diagrams/	511.3 A532 2002 IMPA Analysis and logic/	511.3 A568t 1965 IMPA A transfinite type theory with type variables/	511.3 A652 1954 IMPA Applications scientifiques de la logique mathématique: actes du 2e Colloque international de logique mathématique, Paris, 25-30 aout 1952, Institut Henri Poincaré.	511.3 A652 1954 IMPA Applications scientifiques de la logique mathématique: actes du 2e Colloque international de logique mathématique, Paris, 25-30 aout 1952, Institut Henri Poincaré.	511.3 A652 1969 IMPA Applications of model theory to algebra, analysis, and probability/	Next

Bibliography: p. 141.

There are no comments on this title.

to post a comment.

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

Powered by Koha