- Begriffsschrift.Gottlob Frege - 1967 - In Jean van Heijenoort (ed.), From Frege to Gödel. Cambridge,: Harvard University Press. pp. 1-83.details
|
|
Change, choice and inference: a study of belief revision and nonmonotonic reasoning.Hans Rott - 2001 - New York: Oxford University Press.details
|
|
Bridges from Classical to Nonmonotonic Logic.David Makinson - 2005 - London: College Publications.details
|
|
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.details
|
|
Algebraic Logic.Aubert Daigneault - 1962 - Journal of Symbolic Logic 27 (4):469-470.details
|
|
Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.details
|
|
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.details
|
|
Change, Choice and Inference.A. Fuhrmann - 2003 - Mind 112 (448):790-792.details
|
|
Algebraic Logic.Paul Richard Halmos - 2014 - New York, NY, USA: Chelsea.details
|
|
General Patterns in Nonmonotonic Reasoning.David Makinson - 1994 - In Handbook of Logic in Artificial Intelligence Nad Logic Programming, Vol. Iii. Clarendon Press. pp. 35-110.details
|
|
Friendliness for logicians.David C. Makinson - 2005 - In Sergei Artemov, H. Barringer, A. S. D'Avila Garcez, L. C. Lamb & J. Woods (eds.), We Will Show Them! Essays in Honour of Dov Gabbay. London, U.K.: College Publications. pp. 259-292.details
|
|
Bridges from Classical to Nonmonotonic Logic.David Makinson - 2008 - Studia Logica 89 (3):437-439.details
|
|
The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning.George Boole - 2017 - Oxford,: Andesite Press.details
|
|