| Methods of Argumentation |
D Walton |
C Andone |
History and Philosophy of Logic |
2014-08-01 |
| Nonstandard Methods and Applications in Mathematics |
Nigel J Cutland |
Alasdair Urquhart |
The Bulletin of Symbolic Logic |
2007-09-01 |
| Algebraic Methods in Philosophical Logic |
J Michael Dunn |
J C Beall |
Australasian Journal of Philosophy |
2003-09-01 |
| Handbook of Tableau Methods |
Marcello D'Agostino |
Maarten De Rijke |
Journal of Logic, Language and Information |
2001-09-01 |
| Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology, and Philosophy of Science (Florence, August 1995) |
M L Dalla Chiara |
Christian Bennet |
Studia Logica |
2000-04-01 |
| Formal methods in artificial intelligence |
Allan Ramsay |
Francis Jeffry Pelletier |
The Journal of Symbolic Logic |
1996 |
| Almost free modules. Set-theoretic methods |
Paul C. Eklof and Alan H. Mekler |
Alan Dow |
The Journal of Symbolic Logic |
1995 |
| Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics |
Lincoln A. Wallen |
Luis Fariñas Del Cerro |
The Journal of Symbolic Logic |
1993 |
| Mathematical methods in linguistics. Studies in linguistics and philosophy, vol |
Barbara H. Partee, Alice ter Meulen, and Robert E. Wall |
Lawrence S. Moss |
The Journal of Symbolic Logic |
1992 |
| Nonstandard methods in stochastic analysis and mathematical physics. Pure and applied mathematics |
Sergio Albeverio |
D. N. Hoover |
The Journal of Symbolic Logic |
1990 |
| Proof methods for modal and intuitionistic logics |
Melvin Fitting |
H C M De Swart |
History and Philosophy of Logic |
1985-01-01 |
| Proof methods for modal and intuitionistic logics |
Melvin Fitting |
R. A. Bull |
The Journal of Symbolic Logic |
1985 |
| Methods of Logic (Fourth Edition) |
W V Quine |
Raúl Orayen |
Crítica: Revista Hispanoamericana de Filosofía |
1983-12-01 |
| Methods of Logic W.V. Quine |
W.v. Quine |
Raúl Orayen |
Crítica: Revista Hispanoamericana de Filosofía |
1983-12-00 |
| Logic, Methodology and Philosophy of Science III |
B Van Rootselaar |
Ekkart Zimmerman |
Theory and Decision: An International Journal for Methods and Models in the Social and Decision Sciences |
1974-12-01 |
| Methods of Logic |
W V O Quine |
Edward Poznanski |
|
1974-10-01 |
| The Logic of Preferences |
Georg Henrik Von Wright |
Sighard Roloff |
Theory and Decision: An International Journal for Methods and Models in the Social and Decision Sciences |
1972-12-01 |
| Methods of Logic. Third edition |
W. V. Quine |
א. י. י. פ. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1972-04-00 |
| Jaakko Hintikka. A two-dimensional continuum of inductive methods. Aspects of inductive logic |
Jaakko Hintikka and Patrick Suppes, Studies in logic and foundations of mathematics |
Ian Hacking |
The Journal of Symbolic Logic |
1970 |
| Wolfram Schwabhäuser. Metamathematical methods in foundations of geometry. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
Lesław W. Szczerba |
The Journal of Symbolic Logic |
1970 |
| W. Hanf. Model-theoretic methods in the study of elementary logic. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
Verena H. Dyson |
The Journal of Symbolic Logic |
1969-05-29 |
| Infinitistic methods from a finitist point of view |
A. Heyting |
G. Kreisel |
The Journal of Symbolic Logic |
1968 |
| Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic |
Evert W. Beth |
Alan Rose |
Philosophy of Science |
1966-03-01 |
| Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic |
Evert W. Beth |
Leon Henkin |
The Journal of Symbolic Logic |
1965 |
| Methods of Logic, Revised edition |
Willard Van Orman Quine |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1959-07-00 |
| Methods of Logic |
Willard Van Orman Quine |
Raymond M. Smullyan |
The Journal of Symbolic Logic |
1959 |
| Logic and scientific methods. An introductory course |
Herbert L. Searles |
Alonzo Church |
The Journal of Symbolic Logic |
1958 |
| Methods of Logic W. van Orman Quine |
W. Van Orman Quine |
Oscar Wood |
Philosophy |
1955-04-00 |
| The continuum of inductive methods |
Rudolf Carnap |
John G. Kemeny |
The Journal of Symbolic Logic |
1953 |
| Methods of Logic |
W. V. Quine |
George Nakhnikian |
Philosophy of Science |
1952-01-01 |
| Methods of Logic |
Willard Van Orman Quine |
R. M. Martin |
Philosophy and Phenomenological Research |
1951-06-00 |
| Methods of Logic |
Willard Van Orman Quine |
A. R. Turquette |
The Journal of Symbolic Logic |
1951 |
| Methods of Logic |
Willard van Orman Quine |
Atwell R. Turquette |
The Journal of Symbolic Logic |
1950 |
| Logic and scientific methods. An introductory course |
Herbert L. Searles |
H. A. L. |
The Journal of Philosophy |
1949-11-02 |
| Logic and scientific methods. An introductory course |
Herbert L. Searles |
J. C. Cooley |
The Journal of Symbolic Logic |
1948 |
