Most cited
This page lists all time most cited articles for this title. Please use the publication date filters on the left if you would like to restrict this list to recently published content, for example to articles published in the last three years. The number of times each article was cited is displayed to the right of its title and can be clicked to access a list of all titles this article has been cited by.
- Cited by 283
The Logic of Bunched Implications
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 215-244
-
- Article
- Export citation
- Cited by 276
Explicit Provability and Constructive Semantics
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-36
-
- Article
- Export citation
- Cited by 172
On the Decision Problem for Two-Variable First-Order Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 53-69
-
- Article
- Export citation
- Cited by 152
The Complexity of Propositional Proofs
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 417-481
-
- Article
- Export citation
- Cited by 105
Computability and Recursion
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 284-321
-
- Article
- Export citation
- Cited by 93
Hyperlinear and Sofic Groups: A Brief Guide
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 449-480
-
- Article
- Export citation
- Cited by 82
Tarski's System of Geometry
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 175-214
-
- Article
- Export citation
- Cited by 81
Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 401-452
-
- Article
- Export citation
- Cited by 76
Cut Elimination in the Presence of Axioms
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 418-435
-
- Article
- Export citation
- Cited by 66
Hilbert's Programs: 1917–1922
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-44
-
- Article
- Export citation
- Cited by 66
Does Mathematics Need New Axioms?
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 401-446
-
- Article
- Export citation
- Cited by 61
Open Questions in Reverse Mathematics
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 431-454
-
- Article
- Export citation
- Cited by 59
Effective Choice and Boundedness Principles in Computable Analysis
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 73-117
-
- Article
- Export citation
- Cited by 59
Calibrating Randomness
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 411-491
-
- Article
- Export citation
- Cited by 55
Automata Presenting Structures: A Survey of the Finite String Case
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 169-209
-
- Article
- Export citation
- Cited by 55
Machines, Logic and Quantum Physics
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 265-283
-
- Article
- Export citation
- Cited by 53
Second-Order Logic and Foundations of Mathematics
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 504-520
-
- Article
- Export citation
- Cited by 53
Logicality and Invariance
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 29-68
-
- Article
- Export citation
- Cited by 52
Turing Computations On Ordinals
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 377-397
-
- Article
- Export citation
- Cited by 50
A Natural Axiomatization of Computability and Proof of Church's Thesis
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 299-350
-
- Article
-
- You have access
- Export citation