Search
Feedback
About UniCat 
Help
News
| Listing 1 - 5 of 5 |
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
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
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 - 5 of 5 |
Sort by
|