Votre recherche a retourné 4 résultats.

Trier
Ne plus surligner Surligner
Tout sélectionner Tout désélectionner
Documents sélectionnés :
Résultats
1.
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel.Publication : Amsterdam : North-Holland, 1952.Description : VIII-117 p. ; 22 cm.Disponibilité : Exemplaires empruntables: Cote : 05 MOS 64 a (1). Exemplaires en consultation sur place : Exclu du prêtCote : 05 MOS 64 (1).

Réserver Ajouter au panier
2.
Set theory / K. Kuratowski and A. Mostowski.Publication : Amsterdam : North-Holland, Warszawa : Polish Scientific Publishers, 1968.Description : XII-417 p.Disponibilité : Exemplaires empruntables: Cote : 08 KUR 68 b (1). Exemplaires en consultation sur place : Exclu du prêtCote : 08 KUR 68 (1).

Réserver Ajouter au panier
3.
Constructible sets with applications / A. MostowskiPublication : Amsterdam : North-Holland, Warszawa : PWN, 1969Description : IX-269 p. ; 23 cmDisponibilité : Exemplaires en consultation sur place : Exclu du prêtCote : 08 MOS 69 (1). :

Ajouter au panier
4.
Undecidable theories / by Alfred Tarski,... ; in collaboration with Andrzej Mostowski,... and Raphael M. Robinson,...Publication : Amsterdam : North-Holland, 1953.Description : IX-98 p. ; 22 cm.Disponibilité : Exemplaires empruntables: Cote : 08 TAR 68 (1).

Réserver Ajouter au panier
Pages

Propulsé par Koha