Normal view MARC view ISBD view

Constructive order types / John N. Crossley

Auteur principal : Crossley, John Newsome, 1937-, AuteurType de document : MonographieCollection : Studies in logic and the foundations of mathematicsLangue : anglais.Pays : Pays Bas.Éditeur : Amsterdam : North-Holland, 1969Description : 1 vol. (225 p.) ; 23 cmISBN : s.n..Bibliographie : Bibliogr. p. 215-216. Index.Sujet MSC : 03Dxx, Mathematical logic and foundations, Computability and recursion theory
03Fxx, Mathematical logic and foundations, Proof theory and constructive mathematics
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
03 CRO (Browse shelf) Available 05894-01

Bibliogr. p. 215-216. Index

There are no comments for this item.

Log in to your account to post a comment.