نتایج جستجو

Aristotle's Modal Proofs: Prior Analytics A8-22 in Predicate Logic
Adriane Rini (auth.), 2011
The World-Time Parallel: Tense and Modality in Logic and Metaphysics
A. A. Rini, 2012
Logic of Domains
Guo-Qiang Zhang (auth.), 1991
Symbolic Logic
Irving M. Copi, 1973
The Logic of Action II: Applications and Criticism from the Austrian School
Murray N. Rothbard, 1997
Lady or the Tiger And Other Logic Puzzles Including a Mathematical Novel
Raymond M. Smullyan, 1992
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings
Nachum Dershowitz (auth.), 2004
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings
Nachum Dershowitz (auth.), 2004
Introduction to Neutrosophic Logic
Charles Ashbacher, 2002
Basic logic
PH. D. Raymond J McCall, 1969
Control Using Logic-Based Switching
A.Stephen Morse, 1997
Control Using Logic-Based Switching
Michael S. Branicky (auth.), 1997
Logic and philosophy: A modern introduction
Howard Kahane, 1982
Foundations of Logic and Linguistics: Problems and Their Solutions
Wolfgang Rautenberg (auth.), 1985
Logic, methodology and philosophy of science VII: Proceedings Salzburg, 1983
Ruth Barcan-Marcus, 1986
Logic, Methodology and Philosophy of Science, VII: International Congress Proceedings: 7th
Ruth Barcan-Marcus, 1986
Computability in Context: Computation and Logic in the Real World
S. Barry Cooper, 2009