Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
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
THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
Volume
82
Pagination
590 - 607
DOI
10.1017/jsl.2017.8
Journal
JOURNAL OF SYMBOLIC LOGIC
Issue
2
ISSN
0022-4812
Metadata
Show full item record
Authors
Escardo, M; Oliva, P
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/22039
Collections
Electronic Engineering and Computer Science
[3150]
Copyright statements
https://arxiv.org/abs/1410.4353