Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
A DIRECT PROOF OF SCHWICHTENBERG'S BAR RECURSION CLOSURE THEOREM
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
A DIRECT PROOF OF SCHWICHTENBERG'S BAR RECURSION CLOSURE THEOREM
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
A DIRECT PROOF OF SCHWICHTENBERG'S BAR RECURSION CLOSURE THEOREM
Browse
All of QMRO
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Administrators only
Login
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
A DIRECT PROOF OF SCHWICHTENBERG'S BAR RECURSION CLOSURE THEOREM
View/
Open
Accepted version (194.4Kb)
Volume
83
Pagination
70 - 83
DOI
10.1017/jsl.2017.33
Journal
JOURNAL OF SYMBOLIC LOGIC
Issue
1
ISSN
0022-4812
Metadata
Show full item record
Authors
Oliva, P; Steila, S
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/22422
Collections
Electronic Engineering and Computer Science
[3503]
Copyright statements
© Association for Symbolic Logic