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

 Article
 Export citation
 Cited by 274
Explicit Provability and Constructive Semantics

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

 Article
 Export citation
 Cited by 171
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 105
Computability and Recursion

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

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

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

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

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

 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 76
Cut Elimination in the Presence of Axioms

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

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

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

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

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

 Article
 Export citation
 Cited by 60
Open Questions in Reverse Mathematics

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

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

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

 Article
 Export citation
 Cited by 59
Calibrating Randomness

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

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

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

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

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

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

 Article
 Export citation
 Cited by 53
Logicality and Invariance

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

 Article
 Export citation
 Cited by 52
Turing Computations On Ordinals

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

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

 Article

 You have access
 Export citation