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. 215244

 Article
 Export citation
 Cited by 270
Explicit Provability and Constructive Semantics

 Published online by Cambridge University Press:
 15 January 2014, pp. 136

 Article
 Export citation
 Cited by 169
On the Decision Problem for TwoVariable FirstOrder Logic

 Published online by Cambridge University Press:
 15 January 2014, pp. 5369

 Article
 Export citation
 Cited by 152
The Complexity of Propositional Proofs

 Published online by Cambridge University Press:
 15 January 2014, pp. 417481

 Article
 Export citation
 Cited by 104
Computability and Recursion

 Published online by Cambridge University Press:
 15 January 2014, pp. 284321

 Article
 Export citation
 Cited by 89
Hyperlinear and Sofic Groups: A Brief Guide

 Published online by Cambridge University Press:
 15 January 2014, pp. 449480

 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. 401452

 Article
 Export citation
 Cited by 79
Tarski's System of Geometry

 Published online by Cambridge University Press:
 15 January 2014, pp. 175214

 Article
 Export citation
 Cited by 73
Cut Elimination in the Presence of Axioms

 Published online by Cambridge University Press:
 15 January 2014, pp. 418435

 Article
 Export citation
 Cited by 65
Hilbert's Programs: 1917–1922

 Published online by Cambridge University Press:
 15 January 2014, pp. 144

 Article
 Export citation
 Cited by 63
Does Mathematics Need New Axioms?

 Published online by Cambridge University Press:
 15 January 2014, pp. 401446

 Article
 Export citation
 Cited by 59
Open Questions in Reverse Mathematics

 Published online by Cambridge University Press:
 15 January 2014, pp. 431454

 Article
 Export citation
 Cited by 58
Effective Choice and Boundedness Principles in Computable Analysis

 Published online by Cambridge University Press:
 15 January 2014, pp. 73117

 Article
 Export citation
 Cited by 58
Calibrating Randomness

 Published online by Cambridge University Press:
 15 January 2014, pp. 411491

 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. 169209

 Article
 Export citation
 Cited by 54
Machines, Logic and Quantum Physics

 Published online by Cambridge University Press:
 15 January 2014, pp. 265283

 Article
 Export citation
 Cited by 52
SecondOrder Logic and Foundations of Mathematics

 Published online by Cambridge University Press:
 15 January 2014, pp. 504520

 Article
 Export citation
 Cited by 51
Turing Computations On Ordinals

 Published online by Cambridge University Press:
 15 January 2014, pp. 377397

 Article
 Export citation
 Cited by 51
Logicality and Invariance

 Published online by Cambridge University Press:
 15 January 2014, pp. 2968

 Article
 Export citation
 Cited by 50
Randomness and Computability: Open Questions

 Published online by Cambridge University Press:
 15 January 2014, pp. 390410

 Article
 Export citation