En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
[Ouvrage]
Synthetic differential geometry
/ Principal Kock, Anders.
-Cambridge, New York : Cambridge University Press, 1981. - 1 vol. (311 p.)
ISBN 978-0-521-24138-0
[Ouvrage]
Introduction à la logique
/ Principal Tarski, Alfred ; Traducteur Tremblay, Jacques S. J..
-Paris : Gauthier-Villars;Louvain E. Nauwelaerts, 1960. - 246 p.
[Ouvrage]
The mathematics of metamathematics
/ Principal Rasiowa, Helena ; Co-auteur Sikorski, Roman.
-Warsawa : PWN-Polish Scientific Publishers, 1970. - 519 p.
[Ouvrage]
Elements of intuitionism
/ Principal Dummett, Michael ; Assistance Minio, Roberto,.
-Oxford : Clarendon Press, 1978. - 467 p.
ISBN 978-0-19-853158-6
[Ouvrage]
Sur les algèbres de Hilbert
/ Principal Diego, Antonio ; Traducteur Iturrioz, Luisa ; Préfacier Porte, Jean.
-Louvain, Paris : Gauthier-Villars, 1966. - 52 p.
[Ouvrage]
Varieties of constructive mathematics
/ Principal Bridges, Douglas ; Co-auteur Richman, Fred.
-Cambridge, London, Melbourne : Cambridge University Press, 1987. - 149 p.
ISBN 978-0-521-31802-0
[Ouvrage]
Projections of lawless sequences
/ Principal Van Der Hoeven, G. F..
-Amsterdam : Mathematisch Centrum, 1985. - 237 p.
ISBN 978-90-6196-244-1
[Ouvrage]
Foundations of constructive mathematics
/ Principal Beeson, Michael J..
-Berlin, Heidelberg, N.Y. : Springer-Verlag, 1985. - 466 p.
ISBN 978-0-387-12173-4