Studies in Logic and the Foundations of Mathematics

0.2(top 100%)

impact factor

2.4K(top 10%)

papers

19.1K(top 10%)

citations

60(top 10%)

h-index

0.3(top 100%)

impact factor

3.3K

all documents

20.8K

doc citations

104(top 10%)

g-index

Top Articles

#	Title	Journal	Year	Citations
1	The Algebraic Theory of Context-Free Languages	Studies in Logic and the Foundations of Mathematics	1963	390
2	A Basis for a Mathematical Theory of Computation)	Studies in Logic and the Foundations of Mathematics	1963	362
3	Semantical Analysis of Intuitionistic Logic I	Studies in Logic and the Foundations of Mathematics	1965	352
4	Ideas and Results in Proof Theory	Studies in Logic and the Foundations of Mathematics	1971	321
5	Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types	Studies in Logic and the Foundations of Mathematics	1971	294
6	Set Theory An Introduction to Independence Proofs	Studies in Logic and the Foundations of Mathematics	1980	287
7	Informal Rigour and Completeness Proofs	Studies in Logic and the Foundations of Mathematics	1967	281
8	An Intuitionistic Theory of Types: Predicative Part	Studies in Logic and the Foundations of Mathematics	1975	273
9	A Mathematical Incompleteness in Peano Arithmetic	Studies in Logic and the Foundations of Mathematics	1977	261
10	Constructive Mathematics and Computer Programming	Studies in Logic and the Foundations of Mathematics	1982	247
11	The Incompleteness Theorems	Studies in Logic and the Foundations of Mathematics	1977	214
12	The Semantics of Entailment	Studies in Logic and the Foundations of Mathematics	1973	212
13	Church's Thesis and Principles for Mechanisms	Studies in Logic and the Foundations of Mathematics	1980	200
14	An Introduction to Inductive Definitions	Studies in Logic and the Foundations of Mathematics	1977	199
15	Classical Recursion Theory	Studies in Logic and the Foundations of Mathematics	1999	198
16	Completeness and Correspondence in the First and Second Order Semantics for Modal Logic	Studies in Logic and the Foundations of Mathematics	1975	182
17	What is Elementary Geometry?	Studies in Logic and the Foundations of Mathematics	1959	152
18	Changes in the Problem of Inductive Logic	Studies in Logic and the Foundations of Mathematics	1968	149
19	On Local and Non-Local Properties	Studies in Logic and the Foundations of Mathematics	1982	146
20	The Type Theoretic Interpretation of Constructive Set Theory	Studies in Logic and the Foundations of Mathematics	1978	143
21	Gödel’s Functional (“Dialectica”) Interpretation	Studies in Logic and the Foundations of Mathematics	1998	140
22	An Introduction to First-Order Logic	Studies in Logic and the Foundations of Mathematics	1977	138
23	An Algebraic Approach to Non-Classical Logics	Studies in Logic and the Foundations of Mathematics	1974	129
24	General Logics	Studies in Logic and the Foundations of Mathematics	1989	125
25	Epistemology Without a Knowing Subject	Studies in Logic and the Foundations of Mathematics	1968	124
26	Weakly Definable Relations and Special Automata	Studies in Logic and the Foundations of Mathematics	1970	117
27	The Philosophical Basis of Intuitionistic Logic	Studies in Logic and the Foundations of Mathematics	1975	116
28	The Effective Topos	Studies in Logic and the Foundations of Mathematics	1982	115
29	Probability and the Logic of Conditionals	Studies in Logic and the Foundations of Mathematics	1966	114
30	Assigning Probabilities to Logical Formulas	Studies in Logic and the Foundations of Mathematics	1966	112
31	The Collected Papers of Gerhard Gentzen	Studies in Logic and the Foundations of Mathematics	1969	112
32	Constructive Theories of Functions and Classes	Studies in Logic and the Foundations of Mathematics	1979	110
33	Geometry of Interaction 1: Interpretation of System F	Studies in Logic and the Foundations of Mathematics	1989	110
34	Proof Theory: Some Applications of Cut-Elimination	Studies in Logic and the Foundations of Mathematics	1977	108
35	Frege Structures and the Notions of Proposition, Truth and Set	Studies in Logic and the Foundations of Mathematics	1980	108
36	Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions	Studies in Logic and the Foundations of Mathematics	1971	106
37	An Introduction to Proof Theory	Studies in Logic and the Foundations of Mathematics	1998	97
38	Intuitionism An Introduction	Studies in Logic and the Foundations of Mathematics	1966	95
39	3. Investigations into Logical Deduction	Studies in Logic and the Foundations of Mathematics	1969	94
40	Theories of Finite Type Related to Mathematical Practice	Studies in Logic and the Foundations of Mathematics	1977	93
41	Residuated Lattices: An Algebraic Glimpse at Substructural Logics	Studies in Logic and the Foundations of Mathematics	2007	89
42	The Lengths of Proofs	Studies in Logic and the Foundations of Mathematics	1998	87
43	Decidable Theories	Studies in Logic and the Foundations of Mathematics	1977	85
44	Model Theory For Infinitary Logic	Studies in Logic and the Foundations of Mathematics	1971	85
45	Elementary Induction on Abstract Structures	Studies in Logic and the Foundations of Mathematics	1974	82
46	Quelques Remarques, Théorèmes Et Problèmes Sur Les Classes Définissables D'algèbres	Studies in Logic and the Foundations of Mathematics	1955	81
47	A Basis for a Mathematical Theory of Computation	Studies in Logic and the Foundations of Mathematics	1959	80
48	A Two-Dimensional Continuum of Inductive Methods	Studies in Logic and the Foundations of Mathematics	1966	80
49	Axioms of Set Theory	Studies in Logic and the Foundations of Mathematics	1977	79
50	A theory of inferred causation	Studies in Logic and the Foundations of Mathematics	1995	79

Scientometrics

Overviews

Citing Bodies

Studies in Logic and the Foundations of Mathematics

Top Articles