Jean-Louis Krivine (krivine)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Kreisel, Georg and Krivine, Jean-Louis. 1967a. Elements of Mathematical Logic (Model Theory). Studies in Logic and the Foundations of Mathematics n. 48. Amsterdam: North-Holland Publishing Co.
Kreisel, Georg and Krivine, Jean-Louis. 1967b. Eléments de logique mathématique, théorie des modèles. Monographies de la Société Mathématique de France n. 3. Paris: Dunod. Traduction de Kreisel and Krivine (1967a).
Krivine, Jean-Louis. 1971. Introduction to Axiomatic Set Theory. Synthese Library n. 34. Dordrecht: D. Reidel Publishing Co. English translation of “Théorie axiomatique des ensembles”|, .