- How We Reason.Philip Nicholas Johnson-Laird - 2006 - Oxford University Press.details
|
|
On the Rules of Suppositions in Formal Logic.Stanisław Jaśkowski - 1934 - In ¸ Itepmccall1967. Oxford at the Clarendon Press.details
|
|
How we reason: a view from psychology.P. N. Johnson-Laird - 2008 - The Reasoner 2:4-5.details
|
|
Symbolic logic.Frederic Brenton Fitch - 1952 - New York,: Ronald Press Co..details
|
|
First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.details
|
|
Jan von Plato and Sara Negri, Structural Proof Theory. [REVIEW]Harold T. Hodes - 2006 - Philosophical Review 115 (2):255-258.details
|
|
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
First-order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
The Logic Theory Machine. A Complex Information Processing System.Allen Newell & Herbert A. Simon - 1957 - Journal of Symbolic Logic 22 (3):331-332.details
|
|
The magical number seven, plus or minus two: Some limits on our capacity for processing information.George A. Miller - 1956 - Psychological Review 63 (2):81-97.details
|
|
The magical number seven, plus or minus two: Some limits on our capacity for processing information.George A. Miller - 1956 - Psychological Review 101 (2):343-352.details
|
|
SOAR: An architecture for general intelligence.John E. Laird, Allen Newell & Paul S. Rosenbloom - 1987 - Artificial Intelligence 33 (1):1-64.details
|
|
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.details
|
|
The magical number 4 in short-term memory: A reconsideration of mental storage capacity.Nelson Cowan - 2001 - Behavioral and Brain Sciences 24 (1):87-114.details
|
|
Working memory capacity and its relation to general intelligence.Andrew R. A. Conway, Michael J. Kane & Randall W. Engle - 2003 - Trends in Cognitive Sciences 7 (12):547-552.details
|
|
Suppressing valid inferences with conditionals.Ruth M. J. Byrne - 1989 - Cognition 31 (1):61-83.details
|
|
Working Memory, Thought, and Action.Alan Baddeley - 2007 - Oxford University Press.details
|
|
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.details
|
|
Reasoning: Studies of Human Inference and its Foundations.Jonathan Eric Adler & Lance J. Rips (eds.) - 2008 - New York: Cambridge University Press.details
|
|
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.details
|
|
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.details
|
|
Reasoning.Peter C. Wason - 1966 - In B. Foss (ed.), New Horizons in Psychology. Harmondsworth: Penguin Books. pp. 135-151.details
|
|
Mental Logic.Martin D. S. Braine & David P. O'brien - 2001 - Studia Logica 68 (2):297-299.details
|
|
Thinking as a production system.Marsha C. Lovett & John R. Anderson - 2005 - In K. Holyoak & B. Morrison (eds.), The Cambridge Handbook of Thinking and Reasoning. Cambridge University Press. pp. 401--429.details
|
|
Interpretation, representation, and deductive reasoning.Keith Stenning & Michiel van Lambalgen - 2008 - In Jonathan Eric Adler & Lance J. Rips (eds.), Reasoning: Studies of Human Inference and its Foundations. Cambridge University Press. pp. 223-248.details
|
|
Philosophical foundations.J. E. Adler - 2008 - In Jonathan Eric Adler & Lance J. Rips (eds.), Reasoning: Studies of Human Inference and its Foundations. Cambridge University Press. pp. 1--34.details
|
|
The Logic Theory Machine -- A Complex Information Processing System.Allen Newell & Herbert A. Simon - 1956 - IRE Transactions on Information Theory 2 (3):61--79.details
|
|
Reasoning.Phil Johnson-Laird - 2008 - In Pat Rabbitt (ed.), Inside Psychology: A Science Over 50 Years. Oxford University Press.details
|
|
A proof system for modeling reasoning processes in propositional logic.Claes Strannegård - 2006 - Bulletin of Symbolic Logic 12 (5).details
|
|