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

Auteur: Andrews, Peter Bruce (1937-) - AuteurType de document: Monographie Collection: Studies in logic and the foundations of mathematics Langue: anglaisPays: Pays BasÉditeur: Amsterdam : North- Holland, 1965Description: 1 vol. (XV-143 p.) ; 23 cm ISBN: s.n. ; rel. Bibliographie: Bibliogr. p. 141. Index. Sujets MSC: 03Cxx Mathematical logic and foundations -- Model theory
03Exx Mathematical logic and foundations -- Set theory
Location Call Number Status Date Due
Salle R 01163-01 / 03 AND (Browse Shelf) Available

Bibliogr. p. 141. Index

There are no comments for this item.

Log in to your account to post a comment.
Languages: English | Français | |