Les systèmes axiomatiques de la théorie des ensembles

Main
Mathematics - Logic
Les systèmes axiomatiques de la théorie...

Les systèmes axiomatiques de la théorie des ensembles

Hao Wang, Robert Naughton

0 / 0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

Κατηγορίες:

Mathematics - Logic

Έτος:

1953

Εκδότης:

Gauthiers-Villars

Γλώσσα:

french

Σελίδες:

54

Σειρές:

Collection de logique mathématique n°IV

Αρχείο:

DJVU, 1.02 MB

IPFS:

,

french, 1953

Διαβάστε online

Η μετατροπή σε βρίσκεται σε εξέλιξη

Η μετατροπή σε απέτυχε

Ίσως σας ενδιαφέρει

Paul Richard Halmos, Jean Gardelle (trad.) — Introduction à la théorie des ensembles, Deuxième édition

Andrée Bastiani — Théorie des ensembles

Kazimierz Kuratowski — Introduction à la théorie des ensembles et à la topologie

Hao Wang — A Logical Journey: From Gödel to Philosophy [= Goedel]

Hao Wang — Reflections on Kurt Gödel [= Goedel]

Jean-Claude Dupin, Jean-Luc Valein — Introduction au raisonnement mathématique - logique et théorie des ensembles

Jean-Louis Krivine — Théorie des ensembles

Patrick Dehornoy — La théorie des ensembles. Introduction à une théorie de l'infini et des grands cardinaux

N. Bourbaki — Elements de Mathematique. Algebre. Chapitre 10

Jean Ladrière — Les limitations internes des formalismes

Paul Lorenzen — Métamathématique

Lorenzen P. — Metamathematique

Alain Prouté — Comment on traite la question de l’indépendance de l’hypothèse du continu et de l’axiome du choix avec la théorie des faisceaux de Grothendieck

Nicolas Bouleau, Jean-Yves Girard, Alain Louveau — Cinq conférences sur l'indécidabilité

Hao WANG — Les systemes Axiomatiques de la Theorie des Ensembles

Pierre Wagner — La logique

Ricardo Caferra — Logique pour l'informatique et pour l'intelligence artificielle

Paul Gochet, Pascal Gribomont — Logique, volume 1: méthodes pour l'informatique fondamentale

André Delessert — Introduction à la logique

Paul Lorenzen — Métamathématique

Φράσεις κλειδιά