Edit Profile (opens in new tab) Curry, Haskell Brooks (b. 1900 d. 1982) Co-Author Distance Author ID: curry.haskell-brooks Published as: Curry, H. B.; Curry, Haskell B.; Curry, Haskell more...less External Links: MacTutor · MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 87 Publications since 1929, including 11 Books 1 Further Contribution Biographic References: 5 Publications Co-Authors: 4 Co-Authors with 5 Joint Publications 58 Co-Co-Authors all top 5 Co-Authors 82 single-authored 2 Feys, Robert 2 Seldin, Jonathan P. 1 Ayer, A. J. 1 Benacerraf, Paul 1 Bernays, Paul 1 Boolos, George S. 1 Brouwer, Luitzen Egbertus Jan 1 Carnap, Rudolf 1 Dummett, Michael Anthony Eardley 1 Frege, Gottlob 1 Gödel, Kurt 1 Hempel, Carl Gustav 1 Heyting, Arend 1 Hilbert, David 1 Hindley, J. Roger 1 Kamareddine, Fairouz D. 1 Kreisel, Georg 1 Poincaré, Henri 1 Putnam, Hilary Whitehall 1 Quine, Willard Van Orman 1 Russell, Bertrand 1 Schoenberg, Isaac Jacob 1 von Neumann, John 1 Wang, Hao all top 5 Serials 15 Bulletin of the American Mathematical Society 11 The Journal of Symbolic Logic 7 American Journal of Mathematics 6 Annals of Mathematics. Second Series 4 Studies in Logic and the Foundations of Mathematics 3 Proceedings of the National Academy of Sciences of the United States of America 2 Dialectica 2 Portugaliae Mathematica 2 Quarterly of Applied Mathematics 2 Transactions of the American Mathematical Society 2 Tohoku Mathematical Journal 2 Rendiconti Di Matematica e Delle Sue Applicazioni, V. Serie 2 Mind. New Series 1 American Mathematical Monthly 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Journal d’Analyse Mathématique 1 Annals of the Japan Association for Philosophy of Science 1 Compositio Mathematica 1 Logique et Analyse. Nouvelle Série 1 Bulletin de la Société Mathématique de Belgique 1 Notre Dame Mathematical Lectures 1 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae 1 Logic PhDs Fields 26 Mathematical logic and foundations (03-XX) 5 General and overarching topics; collections (00-XX) 3 History and biography (01-XX) 2 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 59 Publications have been cited 1,110 times in 946 Documents Cited by ▼ Year ▼ On Polya frequency functions. IV: The fundamental spline functions and their limits. Zbl 0146.08404 Curry, H. B.; Schoenberg, I. J. 188 1966 Combinatory logic. With two sections by William Craig. Zbl 0081.24104 Curry, Haskell B.; Feys, Robert 186 1958 Foundations of mathematical logic. Zbl 0163.24209 Curry, H. B. 153 1963 Combinatory logic. 2nd printing. Zbl 0175.27601 Curry, H. B.; Feys, R. 135 1968 Combinatory logic. Vol. II. Zbl 0242.02029 Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P. 85 1972 Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002 69 1983 The method of steepest descent for non-linear minimization problems. Zbl 0061.26801 Curry, Haskell B. 47 1944 The inconsistency of certain formal logics. Zbl 0060.02209 Curry, Haskell B. 35 1942 Foundations of mathematical logic. Zbl 0396.03001 Curry, Haskell B. 29 1977 Functionality in combinatory logic. Zbl 0010.24201 Curry, H. B. 29 1934 Grundlagen der kombinatorischen Logik. II. JFM 56.0048.03 Curry, H. B. 24 1930 A theory of formal deducibility. Zbl 0041.34807 Curry, Haskell B. 20 1950 Grundlagen der kombinatorischen Logik. I. JFM 56.0048.02 Curry, H. B. 18 1930 The elimination theorem when modality is present. Zbl 0048.00301 Curry, Haskell B. 12 1952 The combinatory foundations of mathematical logic. Zbl 0060.02207 Curry, Haskell B. 11 1942 An analysis of logical substitution. JFM 55.0033.01 Curry, H. B. 9 1929 Outlines of a formalist philosophy of mathematics. Zbl 0043.00601 Curry, Haskell B. 9 1951 Modified basic functionality in combinatory logic. Zbl 0257.02018 Curry, Haskell B. 8 1969 Calculuses and formal systems. Zbl 0092.25001 Curry, Haskell B. 7 1958 Logic as a mathematical science. Zbl 0108.00104 Curry, Haskell B. 7 1963 A formalization of recursive arithmetic. Zbl 0025.00502 Curry, Haskell B. 7 1941 A note on the reduction of Gentzen’s calculus LJ. Zbl 0020.33701 Curry, H. B. 6 1939 Functionality in combinatory logic. JFM 60.0850.01 Curry, H. B. 6 1934 Apparent variables from the standpoint of combinatory logic. Zbl 0007.19401 Curry, H. B. 6 1933 Leçons de logique algébrique. Zbl 0048.00201 Curry, Haskell B. 5 1952 The system \(LD\). Zbl 0048.00203 Curry, Haskell B. 5 1952 Foundations of mathematical logic. (Основания математическоĭ логики.) Zbl 0172.00801 Curry, Haskell B. 5 1969 Some additions to the theory of combinators. Zbl 0004.38701 Curry, H. B. 5 1932 Combinatory logic. Zbl 0158.24703 Curry, H. B. 4 1960 The universal quantifier in combinatory logic. Zbl 0001.26101 Curry, H. B. 4 1931 On the definition of negation by a fixed proposition in inferential calculus. Zbl 0047.25101 Curry, Haskell B. 3 1952 The paradox of Kleene and Rosser. Zbl 0025.38605 Curry, Haskell B. 3 1941 Abstract differential operators and interpolation formulas. Zbl 0045.17602 Curry, Haskell B. 3 1951 The consistency of a system of combinatory restricted generality. Zbl 0274.02009 Curry, Haskell B. 3 1973 Some aspects of the problem of mathematical rigor. Zbl 0025.00304 Curry, Haskell B. 3 1941 Some advances in the combinatory theory of quantification. Zbl 0060.02208 Curry, Haskell B. 2 1942 The purposes of logical formalization. Zbl 0165.30201 Curry, H. B. 2 1968 The permutability of rules in the classical inferential calculus. Zbl 0048.00202 Curry, Haskell B. 2 1952 The logic of program composition. Zbl 0057.34803 Curry, H. B. 2 1954 The paradox of Kleene and Rosser. JFM 67.0973.04 Curry, H. B. 2 1941 Outlines of a formalist philosophy of mathematics. 3rd printing. Zbl 0256.02002 Curry, Haskell B. 2 1970 Recent advances in combinatory logic. Zbl 0197.00601 Curry, H. B. 1 1968 Remarks on inferential deduction. Zbl 0192.02802 Curry, H. B. 1 1965 A revision of the fundamental rules of combinatory logic. Zbl 0060.02205 Curry, Haskell B. 1 1941 The undecidability of \(\lambda K\)-conversion. Zbl 0179.02001 Curry, Haskell B. 1 1969 A deduction theorem for inferential predicate calculus. Zbl 0186.00402 Curry, H. B. 1 1968 A note on the reduction of Gentzen’s calculus LJ. JFM 65.0030.02 Curry, H. B. 1 1939 Some properties of equality and implication in combinatory logic. JFM 60.0849.07 Curry, H. B. 1 1934 Apparent variables from the standpoint of combinatory logic. JFM 59.0863.04 Curry, H. B. 1 1933 The universal quantifier in combinatory logic. JFM 57.0057.02 Curry, H. B. 1 1931 Some aspects of the problem of mathematical rigor. JFM 67.0036.01 Curry, H. B. 1 1941 A formalization of recursive arithmetic. JFM 67.0038.01 Curry, H. B. 1 1941 First properties of functionality in combinatory logic. JFM 62.0037.01 Curry, H. B. 1 1936 Foundations of the theory of abstract sets from standpoint of combinatory logic. JFM 60.0044.02 Curry, H. B. 1 1934 Note on iterations with convergence of higher degree. Zbl 0042.36501 Curry, Haskell B. 1 1951 Lessons on algebraic logic. Introduction and Chapters I and II. Zbl 1288.03041 Curry, Haskell B. 1 2012 Some properties of equality and implication in combinatory logic. Zbl 0010.14604 Curry, H. B. 1 1934 On the use of dots as brackets in logical expressions. Zbl 0016.33701 Curry, H. B. 1 1937 A mathematical treatment of the rules of the syllogism. Zbl 0013.28902 Curry, H. B. 1 1936 Lessons on algebraic logic. Introduction and Chapters I and II. Zbl 1288.03041 Curry, Haskell B. 1 2012 Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002 69 1983 Foundations of mathematical logic. Zbl 0396.03001 Curry, Haskell B. 29 1977 The consistency of a system of combinatory restricted generality. Zbl 0274.02009 Curry, Haskell B. 3 1973 Combinatory logic. Vol. II. Zbl 0242.02029 Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P. 85 1972 Outlines of a formalist philosophy of mathematics. 3rd printing. Zbl 0256.02002 Curry, Haskell B. 2 1970 Modified basic functionality in combinatory logic. Zbl 0257.02018 Curry, Haskell B. 8 1969 Foundations of mathematical logic. (Основания математическоĭ логики.) Zbl 0172.00801 Curry, Haskell B. 5 1969 The undecidability of \(\lambda K\)-conversion. Zbl 0179.02001 Curry, Haskell B. 1 1969 Combinatory logic. 2nd printing. Zbl 0175.27601 Curry, H. B.; Feys, R. 135 1968 The purposes of logical formalization. Zbl 0165.30201 Curry, H. B. 2 1968 Recent advances in combinatory logic. Zbl 0197.00601 Curry, H. B. 1 1968 A deduction theorem for inferential predicate calculus. Zbl 0186.00402 Curry, H. B. 1 1968 On Polya frequency functions. IV: The fundamental spline functions and their limits. Zbl 0146.08404 Curry, H. B.; Schoenberg, I. J. 188 1966 Remarks on inferential deduction. Zbl 0192.02802 Curry, H. B. 1 1965 Foundations of mathematical logic. Zbl 0163.24209 Curry, H. B. 153 1963 Logic as a mathematical science. Zbl 0108.00104 Curry, Haskell B. 7 1963 Combinatory logic. Zbl 0158.24703 Curry, H. B. 4 1960 Combinatory logic. With two sections by William Craig. Zbl 0081.24104 Curry, Haskell B.; Feys, Robert 186 1958 Calculuses and formal systems. Zbl 0092.25001 Curry, Haskell B. 7 1958 The logic of program composition. Zbl 0057.34803 Curry, H. B. 2 1954 The elimination theorem when modality is present. Zbl 0048.00301 Curry, Haskell B. 12 1952 Leçons de logique algébrique. Zbl 0048.00201 Curry, Haskell B. 5 1952 The system \(LD\). Zbl 0048.00203 Curry, Haskell B. 5 1952 On the definition of negation by a fixed proposition in inferential calculus. Zbl 0047.25101 Curry, Haskell B. 3 1952 The permutability of rules in the classical inferential calculus. Zbl 0048.00202 Curry, Haskell B. 2 1952 Outlines of a formalist philosophy of mathematics. Zbl 0043.00601 Curry, Haskell B. 9 1951 Abstract differential operators and interpolation formulas. Zbl 0045.17602 Curry, Haskell B. 3 1951 Note on iterations with convergence of higher degree. Zbl 0042.36501 Curry, Haskell B. 1 1951 A theory of formal deducibility. Zbl 0041.34807 Curry, Haskell B. 20 1950 The method of steepest descent for non-linear minimization problems. Zbl 0061.26801 Curry, Haskell B. 47 1944 The inconsistency of certain formal logics. Zbl 0060.02209 Curry, Haskell B. 35 1942 The combinatory foundations of mathematical logic. Zbl 0060.02207 Curry, Haskell B. 11 1942 Some advances in the combinatory theory of quantification. Zbl 0060.02208 Curry, Haskell B. 2 1942 A formalization of recursive arithmetic. Zbl 0025.00502 Curry, Haskell B. 7 1941 The paradox of Kleene and Rosser. Zbl 0025.38605 Curry, Haskell B. 3 1941 Some aspects of the problem of mathematical rigor. Zbl 0025.00304 Curry, Haskell B. 3 1941 The paradox of Kleene and Rosser. JFM 67.0973.04 Curry, H. B. 2 1941 A revision of the fundamental rules of combinatory logic. Zbl 0060.02205 Curry, Haskell B. 1 1941 Some aspects of the problem of mathematical rigor. JFM 67.0036.01 Curry, H. B. 1 1941 A formalization of recursive arithmetic. JFM 67.0038.01 Curry, H. B. 1 1941 A note on the reduction of Gentzen’s calculus LJ. Zbl 0020.33701 Curry, H. B. 6 1939 A note on the reduction of Gentzen’s calculus LJ. JFM 65.0030.02 Curry, H. B. 1 1939 On the use of dots as brackets in logical expressions. Zbl 0016.33701 Curry, H. B. 1 1937 First properties of functionality in combinatory logic. JFM 62.0037.01 Curry, H. B. 1 1936 A mathematical treatment of the rules of the syllogism. Zbl 0013.28902 Curry, H. B. 1 1936 Functionality in combinatory logic. Zbl 0010.24201 Curry, H. B. 29 1934 Functionality in combinatory logic. JFM 60.0850.01 Curry, H. B. 6 1934 Some properties of equality and implication in combinatory logic. JFM 60.0849.07 Curry, H. B. 1 1934 Foundations of the theory of abstract sets from standpoint of combinatory logic. JFM 60.0044.02 Curry, H. B. 1 1934 Some properties of equality and implication in combinatory logic. Zbl 0010.14604 Curry, H. B. 1 1934 Apparent variables from the standpoint of combinatory logic. Zbl 0007.19401 Curry, H. B. 6 1933 Apparent variables from the standpoint of combinatory logic. JFM 59.0863.04 Curry, H. B. 1 1933 Some additions to the theory of combinators. Zbl 0004.38701 Curry, H. B. 5 1932 The universal quantifier in combinatory logic. Zbl 0001.26101 Curry, H. B. 4 1931 The universal quantifier in combinatory logic. JFM 57.0057.02 Curry, H. B. 1 1931 Grundlagen der kombinatorischen Logik. II. JFM 56.0048.03 Curry, H. B. 24 1930 Grundlagen der kombinatorischen Logik. I. JFM 56.0048.02 Curry, H. B. 18 1930 An analysis of logical substitution. JFM 55.0033.01 Curry, H. B. 9 1929 all cited Publications top 5 cited Publications all top 5 Cited by 1,030 Authors 15 Dezani-Ciancaglini, Mariangiola 15 Seldin, Jonathan P. 13 Bimbó, Katalin 11 Bunder, Martin W. 11 van Bakel, Steffen 10 Dunn, Jon Michael 10 Meyer, Robert Kenneth 10 Statman, Richard 8 Hindley, Roger 8 Li, Chin-Shang 7 de Boor, Carl 7 Ronchi Della Rocca, Simona 6 Barendregt, Hendrik Pieter 6 Curry, Haskell Brooks 6 Hindley, J. Roger 6 Toraichi, Kazuo 5 Coppo, Mario 5 Coquand, Thierry 5 Desclés, Jean-Pierre 5 Došen, Kosta 5 Indrzejczak, Andrzej 5 Klev, Ansten Mørch 5 Kotas, Jerzy 5 Mori, Ryoichi 5 Rabe, Florian 4 Barbanera, Franco 4 Béziau, Jean-Yves 4 Boyanov, Borislav Dechev 4 Cīrulis, Jānis 4 Fernández, Maribel 4 Fitch, Frederic Brenton 4 Goodman, Timothy N. T. 4 Guttmann, Walter 4 Kamareddine, Fairouz D. 4 Lee, Seng Luan 4 Lombardi, Carlos 4 Micchelli, Charles A. 4 Nederpelt, Rob 4 Ono, Katuzi 4 Read, Stephen 4 Reich, Simeon 4 Rowe, Reuben N. S. 4 Salibra, Antonino 4 San Martín, Hernán Javier 4 Schempp, Walter Johannes 4 Schoenberg, Isaac Jacob 4 Sørensen, Morten Heine B. 4 Stirton, William R. 4 Zaionc, Marek 4 Zaslavski, Alexander Yakovlevich 3 Belnap, Nuel D. jun. 3 Böhm, Corrado 3 Boričić, Branislav R. 3 Cellucci, Carlo 3 Constable, Robert Lee 3 Cramer, Erhard 3 de Hoog, Frank Robert 3 de Vrijer, Roel 3 Harper, Robert 3 Humberstone, Lloyd 3 Ilić, Mirjana 3 Jun, Young Bae 3 Kamada, Masaru 3 Kesner, Delia 3 Klop, Jan Willem 3 Laan, Twan 3 Lambek, Joachim 3 Levy, Jean-Jacques 3 Longo, Giuseppe 3 Marcos, João 3 Margaria, Ines 3 Maslov, S. Yu. 3 Meredith, David 3 Minari, Pierluigi 3 Orevkov, V. P. 3 Pascu, Anca Christine 3 Pezlar, Ivo 3 Restall, Greg 3 Ríos, Alejandro 3 Rivieccio, Umberto 3 Sato, Masahiko 3 Schumaker, Larry L. 3 Stump, Aaron 3 Swartz, Blair K. 3 Szasz, Nora 3 Tait, William Walker 3 Tasistro, Alvaro 3 Wadler, Philip Lee 3 Zacchi, Maddalena 3 Zardini, Elia 2 Abrahamowicz, Michal 2 Accattoli, Beniamino 2 Ait-Haddou, Rachid 2 Alessi, Fabio 2 Alves, Sandra 2 Anderssen, Robert Scott 2 Assiotis, Theodoros 2 Atkey, Robert 2 Balbes, Raymond 2 Barucq, Hélène ...and 930 more Authors all top 5 Cited in 217 Serials 86 Theoretical Computer Science 60 The Journal of Symbolic Logic 42 Studia Logica 34 Journal of Approximation Theory 30 Journal of Philosophical Logic 22 Annals of Pure and Applied Logic 22 Information and Computation 16 Notre Dame Journal of Formal Logic 15 Archiv für Mathematische Logik und Grundlagenforschung 14 Synthese 13 History and Philosophy of Logic 12 Numerische Mathematik 12 The Review of Symbolic Logic 11 Archive for Mathematical Logic 11 The Bulletin of Symbolic Logic 11 Logica Universalis 10 Journal of Automated Reasoning 9 Journal of Mathematical Analysis and Applications 9 Transactions of the American Mathematical Society 9 Logical Methods in Computer Science 8 Journal of Computational and Applied Mathematics 8 Journal of Soviet Mathematics 7 International Journal of Systems Science 7 Journal of Computer and System Sciences 7 Nagoya Mathematical Journal 7 Mathematical Structures in Computer Science 7 Journal of Applied Logic 6 RAIRO, Informatique Théorique 6 Journal of Symbolic Computation 6 Journal of Functional Programming 6 Higher-Order and Symbolic Computation 5 Journal of Computational Physics 5 Mathematics of Computation 5 Calcolo 5 Information Sciences 5 Computational Statistics and Data Analysis 5 Soft Computing 5 Logic and Logical Philosophy 4 Information Processing Letters 4 Mathematical Notes 4 Mathematische Annalen 4 Formal Aspects of Computing 4 Journal of Logic, Language and Information 4 Applied and Computational Harmonic Analysis 3 Computer Methods in Applied Mechanics and Engineering 3 Algebra Universalis 3 Compositio Mathematica 3 Functional Analysis and its Applications 3 Fuzzy Sets and Systems 3 Journal of Pure and Applied Algebra 3 Mathematical Programming 3 Semigroup Forum 3 Bulletin of the Section of Logic 3 Computer Aided Geometric Design 3 Constructive Approximation 3 Communications in Statistics. Simulation and Computation 3 Journal of Statistical Computation and Simulation 3 Mathematical Programming. Series A. Series B 3 Journal of Applied Non-Classical Logics 3 Topoi 3 Journal of Applied Statistics 3 Foundations of Science 3 The Journal of Logic and Algebraic Programming 3 Proceedings of the Japan Academy 3 BIT. Nordisk Tidskrift for Informationsbehandling 3 Asian-European Journal of Mathematics 3 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge 2 Acta Informatica 2 Computers & Mathematics with Applications 2 Computer Physics Communications 2 Applied Mathematics and Computation 2 Automatica 2 BIT 2 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Computing 2 International Journal of Computer & Information Sciences 2 Journal of Optimization Theory and Applications 2 Kybernetika 2 Meccanica 2 Numerical Functional Analysis and Optimization 2 Proceedings of the American Mathematical Society 2 Programming and Computer Software 2 Order 2 Optimization 2 Journal of Global Optimization 2 Applied Mathematical Modelling 2 International Journal of Computer Mathematics 2 Bulletin of the American Mathematical Society. New Series 2 RAIRO. Informatique Théorique et Applications 2 Advances in Difference Equations 2 Statistical Methodology 2 Bulletin of the American Mathematical Society 2 Optimization Letters 2 European Journal for Philosophy of Science 2 Journal of Logical and Algebraic Methods in Programming 1 Analysis Mathematica 1 Bulletin of the Australian Mathematical Society 1 The Canadian Journal of Statistics 1 Computers and Fluids 1 Discrete Mathematics ...and 117 more Serials all top 5 Cited in 53 Fields 563 Mathematical logic and foundations (03-XX) 246 Computer science (68-XX) 100 Numerical analysis (65-XX) 89 Approximations and expansions (41-XX) 39 Order, lattices, ordered algebraic structures (06-XX) 38 Statistics (62-XX) 32 History and biography (01-XX) 28 Operations research, mathematical programming (90-XX) 22 General and overarching topics; collections (00-XX) 20 Category theory; homological algebra (18-XX) 16 Combinatorics (05-XX) 12 Calculus of variations and optimal control; optimization (49-XX) 11 General algebraic systems (08-XX) 11 Probability theory and stochastic processes (60-XX) 11 Systems theory; control (93-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 9 Ordinary differential equations (34-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 9 Information and communication theory, circuits (94-XX) 8 Partial differential equations (35-XX) 8 Harmonic analysis on Euclidean spaces (42-XX) 8 Operator theory (47-XX) 7 Number theory (11-XX) 7 Group theory and generalizations (20-XX) 7 Convex and discrete geometry (52-XX) 7 Biology and other natural sciences (92-XX) 6 Mechanics of deformable solids (74-XX) 6 Fluid mechanics (76-XX) 5 Real functions (26-XX) 5 Integral transforms, operational calculus (44-XX) 5 Functional analysis (46-XX) 4 Commutative algebra (13-XX) 4 Topological groups, Lie groups (22-XX) 3 Special functions (33-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Integral equations (45-XX) 3 Classical thermodynamics, heat transfer (80-XX) 3 Quantum theory (81-XX) 2 Algebraic geometry (14-XX) 2 Functions of a complex variable (30-XX) 2 Several complex variables and analytic spaces (32-XX) 2 Difference and functional equations (39-XX) 2 Abstract harmonic analysis (43-XX) 2 Algebraic topology (55-XX) 2 Mathematics education (97-XX) 1 Nonassociative rings and algebras (17-XX) 1 Measure and integration (28-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Mechanics of particles and systems (70-XX) 1 Optics, electromagnetic theory (78-XX) 1 Relativity and gravitational theory (83-XX) 1 Geophysics (86-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.