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 277
The Logic of Bunched Implications
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 215-244
-
- Article
- Export citation
- Cited by 270
Explicit Provability and Constructive Semantics
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-36
-
- Article
- Export citation
- Cited by 169
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 104
Computability and Recursion
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 284-321
-
- Article
- Export citation
- Cited by 89
Hyperlinear and Sofic Groups: A Brief Guide
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 449-480
-
- 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 79
Tarski's System of Geometry
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 175-214
-
- Article
- Export citation
- Cited by 73
Cut Elimination in the Presence of Axioms
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 418-435
-
- Article
- Export citation
- Cited by 65
Hilbert's Programs: 1917–1922
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-44
-
- Article
- Export citation
- Cited by 63
Does Mathematics Need New Axioms?
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 401-446
-
- Article
- Export citation
- Cited by 59
Open Questions in Reverse Mathematics
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 431-454
-
- Article
- Export citation
- Cited by 58
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 58
Calibrating Randomness
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 411-491
-
- Article
- Export citation
- Cited by 56
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 54
Machines, Logic and Quantum Physics
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 265-283
-
- Article
- Export citation
- Cited by 52
Second-Order Logic and Foundations of Mathematics
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 504-520
-
- Article
- Export citation
- Cited by 51
Turing Computations On Ordinals
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 377-397
-
- Article
- Export citation
- Cited by 51
Logicality and Invariance
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 29-68
-
- Article
- Export citation
- Cited by 50
Randomness and Computability: Open Questions
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 390-410
-
- Article
- Export citation