6,564,749 books
books
80,759,561 articles
articles
ZLibrary Home
Home
Toggle navigation
Sign in
Login
Registration
Donate
Books
Add book
Book requests
Categories
Most Popular
Recently Added
Z-Library Project
Top Z-Librarians
Blog
Dear ZLibrary User, now we have a dedicated domain
1lib.us
for your region and you have been redirected to it. You can bookmark the new address and use it in the future.
Got it!
Main
TermsVector search result for "computable set"
1
A Friendly Introduction to Mathematical Logic
Christopher C. Leary
,
Lars Kristiansen
formula
720
computable
523
theorem
512
axioms
416
formulas
301
deduction
260
lemma
253
symbols
232
sequence
211
variable
197
primitive recursive
192
incompleteness
170
consistent
165
define
162
representable
162
exercises
150
induction
140
computable function
127
sentences
124
finite
123
assignment
114
axiom
111
universe
109
mathematical
95
algorithm
90
computable set
87
Year:
2015
Language:
english
File:
PDF, 1.69 MB
2
Computable structures and the hyperarithmetical hierarchy
Elsevier
C.J. Ash
,
J. Knight
computable
1816
theorem
790
formulas
527
proof
490
function
466
formula
460
suppose
410
finite
400
relation
382
structure
381
structures
294
index
289
relations
270
ordering
244
sets
243
elements
242
element
239
copy
232
ordinal
230
sentences
223
model
219
tuple
208
lemma
193
partial
188
infinite
186
computable set
62
Year:
2000
Language:
english
File:
DJVU, 2.06 MB
3
Computable Structures and the Hyperarithmetical Hierarchy
Elsevier
C.J. Ash
,
J. Knight
computable
1776
theorem
585
formulas
517
proof
483
function
465
formula
459
suppose
408
finite
398
relation
380
structure
372
index
290
relations
259
structures
253
ordering
244
elements
242
element
238
sets
237
copy
232
ordinal
229
sentences
222
model
216
tuple
208
partial
188
infinite
186
language
182
computable set
61
Year:
2000
Language:
english
File:
PDF, 14.70 MB
×
×