د کتابونو لټون
کتابونه
کومک
داخلیدل
داخلیدل
د اګ ان شوو کاروونکو د پاره لاندی شیان په لاسرسۍ کښې دي:
شخصي نصیحتونه
د Telegram بوت
د ډاونلوډونو تاریخ
ایمیل یا Kindle ته لېږل
د منتخباتو مدیریت
په منتخباتو کښې خوندي کول
شخصي
د کتابونو درخواستونه
مطالعه
Z-Recommend
کتابونو انتخاب
مشهورترین
درجه (قاطیغوری(
برخه اخیستل
کومک
ډاونلوډونه
Litera Library
د کاغذ کتابونه ډالۍ کړئ
کاغذی کتابونه اضافه کول
Search paper books
زما LITERA Point
د مهمو اصطلاحاتو پلټنه
Main
د مهمو اصطلاحاتو پلټنه
search
1
Constructivism in mathematics: An introduction
North-Holland
Anne S. Troelstra
,
Dirk van Dalen
theorem
function
recursive
mathematics
functions
intuitionistic
induction
classical
constructive
axioms
arithmetic
proposition
sequences
kripke
sect
continuous
predicate
assume
mathematical
finite
defined
choice
principle
primitive
formulas
brouwer
formula
analysis
prove
reals
axiom
define
deduction
logical
variables
lemma
iqc
equality
equivalent
schema
interpretation
kleene
suppose
troelstra
consider
uniformly
negative
continuity
elementary
models
کال:
1988
ژبه:
english
فایل:
DJVU, 2.06 MB
ستاسی تیګی:
0
/
0
english, 1988
2
Realizability [Lecture notes]
Thomas Streicher
asm
modest
lemma
map
realizability
function
recursive
pca
defined
sets
realized
partial
x.a
suppose
exists
category
ect0
realizes
theorem
predicate
whenever
equivalent
formulas
primitive
fst
topos
negative
functions
morphism
unique
assembly
formula
induction
intuitionistic
pω
moreover
witness
snd
proves
total
λx.t
finite
provable
separated
adjoint
models
monic
underlying
assemblies
combinatory
کال:
2013
ژبه:
english
فایل:
PDF, 605 KB
ستاسی تیګی:
0
/
0
english, 2013
3
Introduction to Constructive Logic and Mathematics [Lecture notes]
Thomas Streicher
haω
x.a
proves
constructive
recursive
function
induction
pr0
theorem
realizability
formulas
predicate
classical
pr1
formula
equivalent
primitive
interpretation
functions
lemma
succ
principle
derived
decidable
defined
rnt
heyting
arithmetic
derivable
ipef
prove
suppose
ect0
equality
constructively
negation
realizes
0tp
y.b
finite
mathematics
implication
modified
proved
arbitrary
assumption
gödel’s
negative
partial
provably
کال:
2009
ژبه:
english
فایل:
PDF, 432 KB
ستاسی تیګی:
0
/
0
english, 2009
4
Constructive Logic and Mathematics 001
haω
x.a
proves
constructive
recursive
function
induction
pr0
theorem
realizability
formulas
classical
pr1
predicate
formula
primitive
equivalent
interpretation
functions
lemma
succ
derived
principle
decidable
defined
rnt
heyting
arithmetic
derivable
ipef
prove
suppose
ect0
constructively
negation
realizes
0tp
y.b
equality
finite
mathematics
modified
proved
assumption
implication
negative
partial
provably
arbitrary
consider
ژبه:
english
فایل:
PDF, 430 KB
ستاسی تیګی:
0
/
0
english
1
د
دې لینک
تعقیب کړئ یا په ټیلیګرام کښې دا "@BotFather" بوټ ومومئ
2
کمانډ واستوئ /newbot
3
د خپل بوټ نوم ولیکئ
4
د بوټ د استفادې کوونکي نوم ولیکئ
5
د BotFather وروستی پیغام کاپي کړئ او دلته یې پیسټ کړئ
×
×