գրքերի որոնում
գրքեր
Աջակցել
Մուտք գործել
Մուտք գործել
մուտք գործելուց հետո օգտատերերին հասանելի են․
անհատականացված առաջարկություններ
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 բոտը Telegram-ում
2
Ուղարկեք /newbot հրամանը
3
Նշեք ձեր բոտի անունը
4
Նշեք բոտի օգտատիրոջ անունը
5
Պատճենեք վերջին հաղորդագրությունը BotFather-ից և տեղադրեք այն այստեղ
×
×