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

Recursion Theory for Metamathematics

Recursion Theory for Metamathematics

Smullyan, Raymond M
5.0 / 0
0 comments
Наскільки Вам сподобалась ця книга?
Яка якість завантаженого файлу?
Скачайте книгу, щоб оцінити її якість
Яка якість скачаних файлів?
Категорії:
Mathematics
Рік:
1993
Видавництво:
Oxford University Press
Мова:
english
Сторінки:
163
ISBN 10:
019508232X
ISBN 13:
9780195082326
Серії:
Oxford logic guide 23
Файл:
PDF, 7.23 MB
IPFS:
CID , CID Blake2b
english, 1993
Читати Онлайн
  • pdf 7.23 MB Current page
  • Checking other formats...
  • Конвертований файл может відрізнятись від оригіналу. По можливості краще завантажувати файл в форматі оригіналу
Виконується конвертація в
Конвертація в не вдалась

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

 
theorem
recursive
function
r.e
sets
provable
rosser
recursion
disjoint
godel
consistent
formula
suppose
functions
axiomatizable
generative
lemma
theorems
prove
strongly
definable
effectively
sentence
universal
representable
systems
undecidable
proposition
e.i
productive
refutable
uniformly
corollary
d.g
d.u
kleene
fixed
represents
separates
p.a
iteration
effective
shepherdson
arithmetic
inseparability
pairs
argument
creative
reducible
dsr
proofs
doubly
incompleteness
productivity
formulas
recursively
separable
symmetric
proved
stronger