David Meredith - Author Profile

Edit Profile

Meredith, David

Documents Indexed:	13 Publications since 1972
	2 Further Contributions
Co-Authors:	1 Co-Author with 2 Joint Publications
	8 Co-Co-Authors

all top 5

12	single-authored
2	Hindley, J. Roger
1	Aczel, Peter
1	Barendregt, Hendrik Pieter
1	Böhm, Corrado
1	Bunder, Martin W.
1	Coppo, Mario
1	Davis, J. William
1	de Bruijn, Nicolaas Govert
1	Dezani-Ciancaglini, Mariangiola
1	Diller, Justus
1	Feferman, Solomon
1	Fitch, Frederic Brenton
1	Gandy, Robin O.
1	Gilmore, Paul C.
1	Hockney, Donald J.
1	Howard, William Alvin
1	Kearns, John T.
1	Klop, Jan Willem
1	Koymans, Karst
1	Kuzichev, Alexander Sergeevich
1	Lambek, Joachim
1	Lemmon, Edward John
1	Levy, Jean-Jacques
1	Longo, Giuseppe
1	McCall, Storrs
1	Meredith, Carew Arthur
1	Mitschke, Gerd
1	Plotkin, Gordon D.
1	Pottinger, Garrel
1	Prior, Arthur Norman
1	Sanchis, Luis Elpidio
1	Scott, Dana Stewart
1	Seldin, Jonathan P.
1	Statman, Richard
1	Thomas, Ivo
1	Vander Nat, Arnold
1	Veneri, B.
1	Visser, Albert
1	Wadsworth, Christopher P.
1	Wilson, W. Kent

8	Notre Dame Journal of Formal Logic
2	Studia Logica
1	The Journal of Symbolic Logic
1	Nagoya Mathematical Journal
1	Synthese Library

all top 5

12	Mathematical logic and foundations (03-XX)
3	History and biography (01-XX)
1	General and overarching topics; collections (00-XX)
1	Algebraic geometry (14-XX)
1	Category theory; homological algebra (18-XX)
1	Algebraic topology (55-XX)

8 Publications have been cited 26 times in 21 Documents	Cited by ▼	Year ▼
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006	155	1980
Principal type-schemes and condensed detachment. Zbl 0708.03007 Hindley, J. Roger; Meredith, David	12	1990
In memoriam Carew Arthur Meredith (1904-1976). Zbl 0357.01045 Meredith, David	8	1977
Philosophical logic. Zbl 0199.29504	3	1969
Combinator operations. Zbl 0329.02009 Meredith, David	2	1976
Positive logic and \(\lambda\)-constants. Zbl 0393.03008 Meredith, David	2	1978
Axiomatics for implication. Zbl 0314.02025 Meredith, David	1	1979
Combinatory and propositional logic. Zbl 0272.02044 Meredith, David	1	1974
Principal type-schemes and condensed detachment. Zbl 0708.03007 Hindley, J. Roger; Meredith, David	12	1990
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006	155	1980
Axiomatics for implication. Zbl 0314.02025 Meredith, David	1	1979
Positive logic and \(\lambda\)-constants. Zbl 0393.03008 Meredith, David	2	1978
In memoriam Carew Arthur Meredith (1904-1976). Zbl 0357.01045 Meredith, David	8	1977
Combinator operations. Zbl 0329.02009 Meredith, David	2	1976
Combinatory and propositional logic. Zbl 0272.02044 Meredith, David	1	1974
Philosophical logic. Zbl 0199.29504	3	1969

all top 5

all top 5

5	Studia Logica
3	Theoretical Computer Science
2	Journal of Automated Reasoning
1	Biometrical Journal
1	Journal of Philosophical Logic
1	Notre Dame Journal of Formal Logic
1	Synthese
1	Mathematical Structures in Computer Science
1	Journal of Statistical Computation and Simulation
1	Journal of Logic, Language and Information
1	Mathematical Logic Quarterly (MLQ)

all top 5

15	Mathematical logic and foundations (03-XX)
7	Computer science (68-XX)
3	History and biography (01-XX)
1	Probability theory and stochastic processes (60-XX)
1	Statistics (62-XX)
1	Operations research, mathematical programming (90-XX)