Search
Feedback
About UniCat 
Help
News
| Listing 1 - 9 of 9 |
Sort by
|
Book
ISBN: 9781470447571 Year: 2021 Publisher: Providence : American Mathematical Society,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Model theory --- Théorie des modèles. --- Dynamique non linéaire. --- Forcing (mathématiques) --- Forcing (Model theory)
Book
ISBN: 0198532415 Year: 1985 Publisher: Oxford : Clarendon Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Set theory. --- Théorie des ensembles --- Forcing (Model theory) --- Forcing (mathématiques) --- Logique mathématique --- Théorie des modèles --- Algebres de boole
Book
ISBN: 3540071571 0387071571 354037485X 9783540071570 Year: 1975 Volume: 454 Publisher: Berlin: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Ordered algebraic structures --- 510.6 --- Forcing (Model theory) --- Model theory. --- Division rings. --- Forcing (Model theory). --- 510.6 Mathematical logic --- Logic, Symbolic and mathematical --- Logique mathématique --- Model theory --- Théorie des modèles --- Forcing (mathématiques) --- Théorie des ensembles
ISBN: 3540055649 0387055649 3540368825 9783540055648 Year: 1971 Volume: 217 Publisher: Berlin: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Set theory --- Théorie des ensembles --- 510.2 --- Foundations of mathematics --- 510.2 Foundations of mathematics --- Théorie des ensembles --- Mathematical logic --- Forcing (Model theory) --- Forcing (mathématiques) --- Continuity --- Continu (philosophie) --- Set theory. --- Axiome du choix
Book
Year: 1969 Publisher: New York, NY ; London : Academic Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical. --- Logique mathématique. --- Model theory --- Théorie des modèles --- Forcing (Model theory) --- Forcing (mathématiques) --- Set theory. --- Théorie des ensembles --- Continuity --- Continu (philosophie) --- Boole, Algèbre de
Dissertation
Year: 1972 Publisher: [S.l.]: [chez l'auteur],
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical --- Logique mathématique. --- Model theory --- Set theory --- Théorie des ensembles. --- Théorie des modèles. --- Forcing (Model theory) --- Forcing (mathématiques) --- Logique mathématique. --- Théorie des ensembles. --- Théorie des modèles. --- Forcing (mathématiques)
Book
ISBN: 3540115935 0387115935 3662215438 9783540115939 Year: 1982 Volume: 940 Publisher: Berlin: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Axiomatic set theory. --- Forcing (Model theory) --- Forcing (Model theory). --- Set theory --- Théorie des ensembles --- Forcing (mathématiques) --- Logique mathématique --- Logic, Symbolic and mathematical --- Ensembles, Théorie combinatoire des --- Combinatorial set theory --- Constructibility (Set theory) --- Constructibilité (théorie des ensembles) --- Set theory. --- Théorie des ensembles --- Ensembles, Théorie combinatoire des. --- Logique mathématique. --- Logic, Symbolic and mathematical. --- Décidabilité (logique mathématique)
Book
ISBN: 0720422566 9780444534187 0444534180 9786613838865 0080957730 1283526417 9780720422566 Year: 1969 Publisher: Amsterdam: North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Provability, Computability and Reflection
Mathematical logic --- Model theory. --- Axiomatic set theory. --- Forcing (Model theory). --- Logic, Symbolic and mathematical --- Logique mathématique --- Model theory --- Théorie des modèles --- Forcing (Model theory) --- Forcing (mathématiques) --- Intuitionistic mathematics. --- Mathématiques intuitionnistes. --- Axiomatic set theory --- Théorie des modèles --- Théorie axiomatique des ensembles --- Forcing (Théorie des modèles) --- EPUB-LIV-FT ELSEVIER-B --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- 510.2 --- Axioms --- Set theory --- 510.2 Foundations of mathematics --- Foundations of mathematics
ISBN: 0471964964 Year: 1996 Publisher: Chichester ; New York ; Brisbane John Wiley & Sons
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Set theory --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, Symbolic and mathematical --- Logique mathématique --- Model theory --- Théorie des modèles --- Forcing (Model theory) --- Forcing (mathématiques) --- Théorie des ensembles --- Constructibility (Set theory) --- Constructibilité (théorie des ensembles) --- Mathematics --- Logique mathématique. --- Théorie des modèles. --- Théorie des ensembles. --- Logic, Symbolic and mathematical. --- Théorie des modèles --- Set theory. --- Théorie des ensembles --- Ensembles ordonnés --- Axiome du choix --- Logique mathematique --- Algebres de boole --- Logique du premier ordre
| Listing 1 - 9 of 9 |
Sort by
|