търсене на книга
книги
Направете дарение
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
search
1
Efficient Metamathematics
University of Amsterdam
L.C.Verbrugge
ia0
theorem
lemma
formula
polynomial
interpretability
exp
feasible
formulas
qed
arithmetic
prove
proofs
suppose
satn
induction
bounded
theories
axioms
define
completeness
interpretation
gödel
initial
prov
provable
function
provability
principle
proves
1д0
reader
reflection
segment
proved
defined
sentence
corollary
modal
remark
formalized
complexity
arithmetical
interpretations
prf
buss
cuts
version
predicate
finite
Година:
1993
Език:
english
Файл:
DJVU, 1.04 MB
Вашите тагове:
0
/
0
english, 1993
2
The Logic of Provability
Cambridge University Press
George S. Boolos
theorem
sentence
modal
bew
provable
provability
arithmetic
theorems
systems
axioms
consistent
fixed
formula
proved
formulas
introduction
completeness
finite
incompleteness
gédel
propositional
primitive
substitution
formal
proofs
equivalent
logical
undecidable
modus
ponens
quantified
defined
glb
suppose
inference
kripke
notions
ordered
recursive
inconsistent
necessity
normality
assertion
peano
solovay’s
statement
arithmetical
axiom
models
necessary
Година:
1995
Език:
english
Файл:
PDF, 8.35 MB
Вашите тагове:
0
/
0
english, 1995
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×