Teeft.i
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration Bourbaki - Checkpoint (Istex)

Index « Teeft.i » - entrée « Mathematical logic »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Mathematical lntelligencer < Mathematical logic < Mathematical manuscripts  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 19.
Ident.Authors (with country if any)Title
001019 (2001) A. R. D. Mathias [France]The strength of Mac Lane set theory
001080 (2001) F. A. Muller [Pays-Bas]Sets, Classes, and Categories
001240 (2000) Alexander VucinichSoviet Mathematics and Dialectics in the Stalin Era
001472 (1999) David E. ZitarelliABSTRACTS
001474 (1999) David E. ZitarelliABSTRACTS
001559 (1998) Reviews
001786 (1997) David E. ZitarelliAbstracts
001898 (1996) Michael Toepell [Allemagne]Geschichte der Algebra. Eine Einführung.Edited by Erhard Scholz. Unter Mitarbeit von Kirsti Andersen et al. Lehrbücher und Monographien zur Didaktik der Mathematik Bd. 16. Wien/Zürich (B.I.-Wissenschafts Verlag Mannheim). 1990.
001905 (1996) Jeremy Gray [Royaume-Uni]Development of Mathematics, 1900–1950.Edited by Jean-Paul Pier.
001925 (1996) Bernard Vitrac [France]Anaritus' Commentary on Euclid. The Latin Translation, I–IV.Edited by P. M. J. E. Tummers. Artistarium, Supplementa, IX.
001A72 (1995) Jean-Pierre Marquis [Canada]Category theory and the foundations of mathematics: Philosophical excavations
001B55 (1994) Michael Segre [Allemagne]Peano's axioms in their historical context
001F78 (1990) Wilfried Sieg [États-Unis]Relative consistency and accessible domains
002151 (1988) The life and work of Andrei Nikolaevich Kolmogorov
002215 (1988) David P. Ellerman [États-Unis]Category theory and concrete universals
002451 (1985) Denis GuedjNicholas bourbaki, collective mathematician an interview with claude chevalley
002863 (1980) New and noteworthy
002A04 (1978) Gregory H. Moore [Canada]The origins of Zermelo's axiomatization of set theory
002B63 (1976) A. P. Youschkevitch [Russie]The concept of function up to the middle of the 19th century

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Teeft.i -k "Mathematical logic" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Teeft.i  \
                -Sk "Mathematical logic" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Mathematiques
   |area=    BourbakiV1
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Teeft.i
   |clé=    Mathematical logic
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Thu Jul 5 10:00:31 2018. Site generation: Sat Nov 19 17:42:07 2022