Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Computability And Logic

Computability And Logic

Boolos, Burgess, Jeffrey
0 / 0
0 comments
Наскільки Вам сподобалась ця книга?
Яка якість завантаженого файлу?
Скачайте книгу, щоб оцінити її якість
Яка якість скачаних файлів?
Категорії:
Mathematics
Рік:
2002
Видавництво:
CUP
Мова:
english
Сторінки:
368
ISBN 10:
3540302735
ISBN 13:
9783540302735
Файл:
PDF, 22.55 MB
IPFS:
CID , CID Blake2b
english, 2002
Читати Онлайн
Виконується конвертація в
Конвертація в не вдалась

Ключові фрази

 
function
theorem
sentence
recursive
interpretation
formula
functions
turing
lemma
finite
sets
symbols
positive
arithmetic
equivalent
primitive
models
integers
denotation
formulas
computable
standard
preceding
suppose
implies
prove
enumerable
consider
induction
predicate
provable
subset
theorems
godel
arithmetical
atomic
nonstandard
figure
defined
correct
satisfiable
effectively
abacus
infinite
skolem
axioms
blank
proposition
negation
element
examples
arguments
obtained
argument
addition
zero
computability
rudimentary
machines
proofs

Пов’язані вибірки