The science that investigates the principles governing correct or reliable inference and deals with the canons and criteria of validity in thought and demonstration. This system of reasoning is applicable to any branch of knowledge or study. (Random House Unabridged Dictionary, 2d ed & Sippl, Computer Dictionary, 4th ed)
Login, William Spence, 1819-1903 : The wind still blows : extracts from the diaries of Rev. W.S. Login, Mrs. H. Harrison, Mrs. W. Montgomery / compiled and edited by John W. Leslie and Helen C. Cowie
Logique de description. : The description logic handbook : theory, implementation, and applications / edited by Franz Baader [and others]
2003
1
Logique déontique. : Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, the Netherlands, July 12-14, 2006 : proceedings / Lou Goble, John-Jules Ch. Meyer (eds.)
2006
1
Logique d'ordre supérieur. : Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings / Joe Hurd, Tom Melham (eds.)
Logische Sprache : Logic, language and meaning : 17th Amsterdam Colloquium, Amsterdam, the Netherlands, December 16-18, 2009 : revised selected papers / Maria Aloni [and others] (eds.)