نتایج جستجو
An outline of mathematical logic
Grzegorczyk, Andrzej, 1974
From Frege to Goedel: A source book in mathematical logic, 1879-1931
Jean van Heijenoort(eds.), 1967
Philosophy of Logic
Dale Jacquette, Dov M. Gabbay, Paul Thagard, John Woods (ed.), 2007
Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication
Ahti-Veikko Pietarinen, 2006
The Unity of Science in the Arabic Tradition: Science, Logic, Epistemology and their Interactions
Shahid Rahman, Tony Street, Hassan Tahiri(eds.), 2008
Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications
O'Regan, Cornelius Gerard, 2016
Prolog Versus You: An Introduction to Logic Programming
Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman, 1989
The Notre Dame Lectures: Lecture Notes in Logic, 18
Peter Cholak(eds.), 2005
Logic in Tehran: proceedings 2003
Enayat A., et al. (eds.), 2006
A Friendly Introduction to Mathematical Logic
Christopher C. Leary, Lars Kristiansen, 2015
The Essence of Logic Circuits
Stephen H. Unger, 1997
Algebra, Logic and Combinatorics
Shaun Bullett, Tom Fearn, Frank Smith(eds.), 2016
Applied logic for computer scientists : computational deduction and formal proofs
Ayala-Rincón, Mauricio; Moura, Flávio L. C. de, 2017
Logic and Philosophy: An Integrated Introduction
William H. Brenner, 1993
Logic Colloquium 2000
Rene Cori, Alexander Razborov, Stevo Todorcevic, Carol Wood(eds.), 2005
Logic as a Tool: A Guide to Formal Logical Reasoning
Valentin Goranko, 2016
Discrete structures, logic and computability
Hein, James L, 2017
Symbolic Logic
Langford, Cooper Harold; Lewis, Clarence Irving, 1959
Algebra, logic, set theory : Festschrift für Ulrich Felgner zum 65. Geburtstag
Löwe, Benedikt(eds.), 2007
Logic of Statistical Inference
Ian Hacking, Jan-Willem Romeijn, 2016
Digital Logic for Computing
John Seiffertt, 2017
Logic programming: proc. North American conference 1989, vol.1
Lusk, Ewing; Overbeek, Ross A, 1989
Logic programming: proc. North American conference 1989, vol.2
Ewing L. Lusk, Ross A. Overbeek, 1989
Logic programming: proceedings of the 1997 international symposium
Małuszyński, Jan(eds.), 1997
