Campagne de collecte 15 septembre 2024 – 1 octobre 2024
C'est quoi, la collecte de fonds?
recherche de livres
livres
Campagne de collecte:
20.0% pourcents atteints
S'identifier
S'identifier
les utilisateurs autorisés sont disponibles :
recommandations personnelles
Telegram bot
historique de téléchargement
envoyer par courrier électronique ou Kindle
gestion des listes de livres
sauvegarder dans mes Favoris
Personnel
Requêtes de livres
Recherche
Z-Recommend
Les sélections de livres
Les plus populaires
Catégories
La participation
Faire un don
Téléchargements
Litera Library
Faire un don de livres papier
Ajouter des livres papier
Search paper books
Ouvrir LITERA Point
La recherche des mots clé
Main
La recherche des mots clé
search
1
Feferman on foundations. Logic, mathematics, philosophy
Springer
Jäger
,
Gerhard
,
Sieg
,
Wilfried (eds.)
feferman
mathematics
theorem
ordinal
theories
axioms
mathematical
analysis
induction
sets
ϕ
formula
systems
theoretic
axiom
feferman’s
functions
formulas
lemma
function
interpretation
constructive
inductive
arithmetic
defined
ordinals
gödel
predicativity
variables
finite
philosophy
partial
predicative
formal
foundations
recursive
category
classical
predicate
recursion
zfc
definitions
quantifiers
operations
bounded
logical
fixed
ω1
explicit
principle
Année:
2017
Langue:
english
Fichier:
PDF, 3.83 MB
Vos balises:
0
/
0
english, 2017
2
Feferman on Foundations
Springer International Publishing
Gerhard Jäger
,
Wilfried Sieg
feferman
mathematics
theorem
ordinal
theories
axioms
mathematical
analysis
induction
sets
ϕ
formula
systems
theoretic
axiom
feferman’s
functions
formulas
lemma
function
interpretation
constructive
inductive
arithmetic
defined
ordinals
gödel
predicativity
variables
finite
philosophy
partial
predicative
formal
foundations
recursive
category
classical
predicate
recursion
zfc
definitions
quantifiers
operations
bounded
logical
fixed
ω1
explicit
principle
Année:
2017
Langue:
english
Fichier:
PDF, 7.42 MB
Vos balises:
0
/
0
english, 2017
3
Axiomatic Thinking II
Springer
Fernando Ferreira
,
Reinhard Kahle
,
Giovanni Sommaruga
ordinal
function
mathematics
theorem
axiom
turing
functions
mathematical
finite
thesis
axiomatic
ordinals
systems
lemma
formula
axioms
geometry
computation
α0
induction
formal
physics
principle
ordering
defined
b̄
idν
algebraic
analysis
principles
ā
structures
theoretic
recursive
αn
fμ
spector
countable
contains
sets
springer
define
infinitesimal
computability
models
hilbert
mμ
complex
formulas
machines
Année:
2022
Langue:
english
Fichier:
PDF, 4.00 MB
Vos balises:
0
/
5.0
english, 2022
4
Axiomatic Thinking II
Springer
Fernando Ferreira
,
Reinhard Kahle
,
Giovanni Sommaruga
ordinal
function
mathematics
theorem
axiom
turing
functions
mathematical
finite
thesis
axiomatic
ordinals
systems
α0
lemma
formula
axioms
geometry
computation
induction
formal
principle
physics
ordering
defined
b̄
idν
algebraic
analysis
principles
ā
structures
theoretic
recursive
αn
fμ
spector
countable
contains
sets
springer
define
infinitesimal
computability
models
mμ
hilbert
complex
formulas
machines
Année:
2022
Langue:
english
Fichier:
PDF, 4.00 MB
Vos balises:
0
/
0
english, 2022
1
Suivez
ce lien
ou recherchez le bot "@BotFather" sur Telegram
2
Envoyer la commande /newbot
3
Entrez un nom pour votre bot
4
Spécifiez le nom d'utilisateur pour le bot
5
Copier le dernier message de BotFather et le coller ici
×
×