Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 12 | << page >> |
Sort by
|
Book
Year: 1969 Publisher: Lubumbashi : Impr. Imbelco,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1987 Publisher: Edinburgh : University of Edinburgh,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Modalité (logique) --- Théorie de la démonstration. --- Mathématiques intuitionnistes.
Book
Year: 1949 Publisher: Brussel : Koninklijke academie voor wetenschappen, letteren en schone kunsten van België,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Intuitionistic mathematics. --- Mathématiques intuitionnistes. --- LOGIQUE ET FONDEMENTS --- INTUITIONISME
Book
Year: 1955 Publisher: Paris : Louvain : Gauthier-Villars E. Nauwelaerts,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathématiques intuitionnistes. --- Géometrie --- Intuitionistic mathematics. --- Geometry. --- Geometrie projective --- Geometrie projective
Book
ISBN: 9782406142706 2406142701 2406142701 2406142698 9782406142690 Year: 2023 Publisher: Paris : Classiques Garnier,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Cet ouvrage s'appuie sur les ressources de la logique dialogique pour proposer une lecture originale de l'intuitionnisme mathématique, assumant sa composante subjectiviste. L'enrichissement du dispositif des dialogues au moyen d'outils sémiotiques permet aussi de renouveler le concept de dialogue.
Mathématiques intuitionnistes. --- Brouwer, Luitzen Egbertus Jan, 1881-1966 --- Mathématiques intuitionnistes --- Mathématiques --- Dialogue (littérature) --- Brouwer, Luitzen Egbertus Jan, --- Critique et interprétation. --- Intuitionistic mathematics --- Mathematics --- Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966
Book
ISBN: 2130448941 9782130448945 Year: 1992 Volume: 2684 Publisher: Paris PUF
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Don de Anne Fagot-Largeault
Metaphysics --- Mathematics --- France --- Geometry --- Intuitionistic mathematics --- Mathématiques --- Géometrie --- Mathématiques intuititionnistes --- Philosophy --- Foundations --- Philosophie --- Fondements --- 159.956 --- 161.1 --- 167.2 --- Intuitionistic mathematics. --- Philosophy. --- Mathématiques --- Géometrie --- Mathématiques intuititionnistes --- Mathématiques intuitionnistes.
Book
ISBN: 0262231441 9780262231442 Year: 1990 Publisher: Cambridge (Mass.) : MIT press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Proof theory --- Modality (Logic) --- Intuitionistic mathematics --- Preuve, Theorie de la. --- Modalite (Logique) --- Mathematiques intuitionnistes. --- Intuitionistic mathematics. --- Proof theory. --- Modality (Logic). --- Mathématiques intuititionnistes --- Modalité (Logique) --- Théorie de la preuve
Book
Year: 2000 Publisher: [Paris] : Pour la Science,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematics --- Mathematics --- Mathematics --- Geometry, Non-Euclidean. --- Intuitionistic mathematics. --- Three-body problem. --- Mathématiques --- Mathématiques --- Mathématiques --- Géométrie non-euclidienne. --- Mathématiques intuitionnistes. --- Problème à trois corps. --- History --- History --- Philosophy. --- Histoire --- Histoire --- Philosophie --- Poincaré, Henri, --- Poincaré, Henri,
ISBN: 0444876324 9780444876324 9781435686977 1435686977 1281716464 9786611716462 9780080880022 0080880045 Year: 1985 Volume: 113 Publisher: Amsterdam North-Holland
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
``Platonism and intuitionism are rival philosophies of Mathematics, the former holding that the subject matter of mathematics consists of abstract objects whose existence is independent of the mathematician, the latter that the subject matter consists of mental construction... both views are implicitly opposed to materialistic accounts of mathematics which take the subject matter of mathematics to consist (in a direct way) of material objects...'' FROM THE INTRODUCTIONAmong the aims of this book are: - The discussion of some important philosophical issues using the precision
Mathematical logic --- Modality (Logic) --- Constructive mathematics. --- Intuitionistic mathematics. --- Constructive mathematics --- Intuitionistic mathematics --- Constructie [Wiskunde]. (Versch. onderwerpen) --- Modaliteit [Logica]. (Versch. onderwerpen) --- Mathématiques intuitionnistes. (Mélanges) --- Construction [Mathématiques]. (Mélanges) --- Modalité [Logique]. (Mélanges) --- Wiskunde (Intuitionistische). (Versch. onderwerpen) --- Mathematics --- Mathematics, Constructive --- Logic, Symbolic and mathematical --- Modal logic --- Logic --- Nonclassical mathematical logic --- Bisimulation
Book
ISBN: 9780444864949 0444864946 Year: 1982 Volume: v. 110 Publisher: Amsterdam ; New York : New York, N.Y. : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Constructive mathematics --- Intuitionistic mathematics --- Mathématiques constructives --- Mathématiques intuitionnistes --- Congresses --- Congrès --- Brouwer, L. E. J. --- Brouwer, L E J --- -Intuitionistic mathematics --- -Constructive mathematics --- Mathematics --- Mathematics, Constructive --- Logic, Symbolic and mathematical --- Congresses. --- -Congresses --- Brouwer, Luitzen Egbertus Jan --- -Mathematics, Constructive --- Physical Sciences & Mathematics --- Mathematical Theory --- Brouwer, Luitzen Egbertus Jan, --- Brouwer, Bertus, --- Constructive mathematics - Congresses --- Intuitionistic mathematics - Congresses --- Brouwer, L E J - (Luitzen Egbertus Jan), - 1881-1966
| Listing 1 - 10 of 12 | << page >> |
Sort by
|