|
|
|
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
|
Cellucci, Carlo.
|
2013.
|
|
|
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
|
Cellucci, Carlo.
|
2013.
|
|
|
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics Dialogue, Rationality, and Formalism /
|
|
2014.
|
|
|
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics Dialogue, Rationality, and Formalism /
|
|
2014.
|
|
|
Pesky Essays on the Logic of Philosophy
|
Lucey, Kenneth G.
|
2015.
|
|
|
Pesky Essays on the Logic of Philosophy
|
Lucey, Kenneth G.
|
2015.
|
|
|
Past and Present Interactions in Legal Reasoning and Logic
|
|
2015.
|
|
|
Past and Present Interactions in Legal Reasoning and Logic
|
|
2015.
|
|
|
The Concept of Argument A Philosophical Foundation /
|
Wohlrapp, Harald R.
|
2014.
|
|
|
The Concept of Argument A Philosophical Foundation /
|
Wohlrapp, Harald R.
|
2014.
|
|
|
Perspectives on Theory of Controversies and the Ethics of Communication Explorations of Marcelo Dascal's Contributions to Philosophy /
|
|
2014.
|
|
|
Perspectives on Theory of Controversies and the Ethics of Communication Explorations of Marcelo Dascal's Contributions to Philosophy /
|
|
2014.
|
|
|
Logic, Reasoning, and Rationality
|
|
2014.
|
|
|
Logic, Reasoning, and Rationality
|
|
2014.
|
|
|
The Argumentative Turn in Policy Analysis Reasoning about Uncertainty /
|
|
2016.
|
|
|
The Argumentative Turn in Policy Analysis Reasoning about Uncertainty /
|
|
2016.
|
|
|
Perspectives on Interrogative Models of Inquiry Developments in Inquiry and Questions /
|
|
2016.
|
|
|
Perspectives on Interrogative Models of Inquiry Developments in Inquiry and Questions /
|
|
2016.
|
|
|
The Social Sciences of Quantification From Politics of Large Numbers to Target-Driven Policies /
|
|
2016.
|
|
|
The Social Sciences of Quantification From Politics of Large Numbers to Target-Driven Policies /
|
|
2016.
|
|
|
Paradoxes of Conflicts
|
|
2016.
|
|
|
Paradoxes of Conflicts
|
|
2016.
|
|
|
Applications of Formal Philosophy The Road Less Travelled /
|
|
2017.
|
|
|
Applications of Formal Philosophy The Road Less Travelled /
|
|
2017.
|
|
|
Semantics and Pragmatics: Drawing a Line
|
|
2017.
|
|
|
Semantics and Pragmatics: Drawing a Line
|
|
2017.
|
|
|
Logic as a positive science /
|
Della Volpe, Galvano, 1895-1968.
|
1980.
|
|
|
Logic as grammar /
|
Hornstein, Norbert.
|
c1984.
|
|
|
Logic as history of science and experience of art /
|
Gibson, Roland
|
1982.
|
|
|
Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
|
Puebla, Germán.
|
2007.
|
|
|
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
|
Hanus, Michael.
|
2009.
|
|
|
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /
|
Schreye, Danny.
|
2010.
|
|
|
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers /
|
Alpuente, María.
|
2011.
|
|
|
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers /
|
Vidal, Germán.
|
2012.
|
|
|
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
|
Albert, Elvira.
|
2013.
|
|
|
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
|
|
2014.
|
|
|
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
|
|
2015.
|
|
|
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
|
|
2015.
|
|
|
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
|
|
2017.
|
|
|
Logic Based Program Synthesis and Transformation (vol. # 3573) 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
|
Etalle, Sandro.
|
2005
|
|
|
Logic Based Program Synthesis and Transformation (vol. # 3901) 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
|
Hill, Patricia M.
|
2006
|
|
|
المرجع الشامل في تصميم الدارات المنطقية = Logic circuit design.
|
|
2005.
|
|
|
Logic Circuit Design Selected Methods /
|
Vingron, Shimon P.
|
2012.
|
|
|
Logic circuits /
|
Morris, Noel Malcolm.
|
c1983.
|
|
|
Logic circuits /
|
Morris, Noel Malcolm.
|
c1976.
|
|
|
Logic circuits : understanding logic circuits, their functional groupings and industrial applications : trainee's guide /
|
|
�1979.
|
|
|
Logic circuits and microcomputer systems /
|
Wiatrowski, Claude A.
|
c1980.
|
|
|
Going pro with Logic Pro 8
|
Asher, Jay.
|
2009.
|
|
|
Logic Pro 8 power! the comprehensive guide /
|
Merton, Orren.
|
c2009.
|
|
|
Going pro with Logic Pro 9
|
Asher, Jay.
|
c2011.
|
|
|
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
|
International Summer Institute and Logic Colloquium, University of Kiel, 1974.
|
1975.
|
|
|
Logic databook.
|
National Semiconductor Corporation.
|
1981.
|
|
|
Logic: deducative and inductive/
|
Bain, Alexander, 1818-1903.
|
1874.
|
|
|
التصميم المنطقي ودوائر الكمبيوتر = Logic design & computer circuits /
|
|
1990
|
|
|
Logic design /
|
Jain , R.P.
|
2004.
|
|
|
Logic Design /
|
Allurkar, R.S.
|
2009.
|
|
|
Logic design and computer organization /
|
Lewin, Morton H.
|
c1983.
|
|
|
Logic design and simulation /
|
|
1986.
|
|
|
Logic design and switching theory /
|
Muroga , Saburo
|
1979.
|
|
|
Logic design and switching theory/
|
Muroga,Saburo
|
1979.
|
|
|
Logic design fundamentals /
|
Al-Qadi , Ziad
|
2003.
|
|
|
Logic design fundamentals/
|
Al-Qadi, Ziad.
|
2003.
|
|
|
Logic design of digital systems /
|
Dietmeyer, Donald Leo, 1932-
|
c1978.
|
|
|
Logic design principles : with emphasis on testable semicustom circuits /
|
McCluskey, Edward J., 1929-
|
c1986.
|
|
|
Logic design principles : with emphasis on testable semicustom circuits /
|
McCluskey, Edward J., 1929-
|
c1986.
|
|
|
Logic design projects using standard integrated circuits /
|
Wakerly, John F.
|
c1976.
|
|
|
Logic design theory /
|
Biswas , Nripendra N.
|
1993.
|
|
|
Logic design theory /
|
Biswas, Nripendra Nath, 1928-
|
c1993.
|
|
|
Logic design using integrated circuits /
|
Becher, William D.
|
1977.
|
|
|
Logic design with integrated circuits/
|
Wickes, William E.
|
1968.
|
|
|
Logic designer's handbook/
|
PARR,E.A.
|
1984.
|
|
|
Summulae de dialectica
|
Buridan, Jean, 1300-1358.
|
c2001.
|
|
|
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
|
Kerkhove, Bart.
|
2007.
|
|
|
Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms /
|
Benis-Sinaceur, Hourya.
|
2015.
|
|
|
Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms /
|
Benis-Sinaceur, Hourya.
|
2015.
|
|
|
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
|
Atten, Mark van.
|
2015.
|
|
|
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
|
Atten, Mark van.
|
2015.
|
|
|
Unifying the Philosophy of Truth
|
|
2015.
|
|
|
Unifying the Philosophy of Truth
|
|
2015.
|
|
|
Pluralism in Mathematics: A New Position in Philosophy of Mathematics
|
Friend, Michèle.
|
2014.
|
|
|
Pluralism in Mathematics: A New Position in Philosophy of Mathematics
|
Friend, Michèle.
|
2014.
|
|
|
Constructivity and Computability in Historical and Philosophical Perspective
|
|
2014.
|
|
|
Constructivity and Computability in Historical and Philosophical Perspective
|
|
2014.
|
|
|
Vague Objects and Vague Identity New Essays on Ontic Vagueness /
|
|
2014.
|
|
|
Vague Objects and Vague Identity New Essays on Ontic Vagueness /
|
|
2014.
|
|
|
Epistemology, Knowledge and the Impact of Interaction
|
|
2016.
|
|
|
Epistemology, Knowledge and the Impact of Interaction
|
|
2016.
|
|
|
Alfred Tarski and the "Concept of Truth in Formalized Languages" A Running Commentary with Consideration of the Polish Original and the German Translation /
|
Gruber, Monika.
|
2016.
|
|
|
Alfred Tarski and the "Concept of Truth in Formalized Languages" A Running Commentary with Consideration of the Polish Original and the German Translation /
|
Gruber, Monika.
|
2016.
|
|
|
Paraconsistent Logic: Consistency, Contradiction and Negation
|
Carnielli, Walter.
|
2016.
|
|
|
Paraconsistent Logic: Consistency, Contradiction and Negation
|
Carnielli, Walter.
|
2016.
|
|
|
Truth, Objects, Infinity New Perspectives on the Philosophy of Paul Benacerraf /
|
|
2016.
|
|
|
Truth, Objects, Infinity New Perspectives on the Philosophy of Paul Benacerraf /
|
|
2016.
|
|
|
Objects and Modalities A Study in the Semantics of Modal Logic /
|
Tulenheimo, Tero.
|
2017.
|
|
|
Objects and Modalities A Study in the Semantics of Modal Logic /
|
Tulenheimo, Tero.
|
2017.
|
|
|
Nature's Principles
|
Faye, Jan.
|
2005.
|
|
|
Logic, Thought and Action
|
VANDERVEKEN, DANIEL.
|
2005.
|
|
|
Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes /
|
Dutilh Novaes, Catarina.
|
2007.
|
|
|
Induction, Algorithmic Learning Theory, and Philosophy
|
Friend, Michèle.
|
2007.
|
|
|
The Influence of Genetics on Contemporary Thinking
|
Fagot-Largeault, Anne.
|
2007.
|
Log in
Help
