نتایج جستجو
Logic demystified
Anthony Boutelle, Stan Gibilisco, 2011
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos; John Worrall, Elie Zahar (eds.), 2015
A Friendly Introduction to Mathematical Logic
Christopher C Leary, Lars Kristiansen, 2015
Symbolic Logic
Clarence Irving Lewis, Cooper H. Langford, 2000
Symbolic Logic
Clarence Irving Lewis, Cooper H. Langford, 2000
Meaning in Dialogue: An Interactive Approach to Logic and Reasoning
James Trafford (auth.), 2017
Electromigration Inside Logic Cells: Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS
Gracieli Posser, Sachin S. Sapatnekar, Ricardo Reis (auth.), 2017
Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Sujata Ghosh, Sanjiva Prasad (eds.), 2017
A Concise Introduction to Logic
Patrick J. Hurley, 2015
Hegel’s Dialectical Logic
Ermanno Bencivenga, 2000
Logic in Algebraic Form: Three Languages and Theories
Craig William, 1974
The Boundary Stones of Thought: An Essay in the Philosophy of Logic
Ian Rumfitt, 2015
Deontic Logic and Legal Systems
Pablo E. Navarro, Jorge L. Rodríguez, 2014
CD-ROM of Language, Proof and Logic
Jon Barwise, John Etchemendy, Gerard Allwein, Dave Barker-Plummer, Albert Liu, 2002
Logic, Semigroups and Automata on Words
Jean-Éric Pin, 2006
Principles of mathematical logic
Hilbert D., 1950
Elementary logic
Quine W.V., 1965
The Logic of Reliable Inquiry
Kevin T. Kelly, 1996
Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science:In Recognition of Professor Andrzej Grzegorczyk
S. Krajewski, S. Krajewski, W. Marek, G. Mirkowska, A. Salwicki, J. Wolenski, 2008
Many-sorted Logic and its Applications
K. Meinke, J. V. Tucker, 1993
Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs
Mauricio Ayala-Rincón, Flávio L. C. de Moura (auth.), 2017
