| An introduction to stability theory |
Anand Pillay |
Michael Makkai |
The Journal of Symbolic Logic |
1986 |
| Set theory. An introduction to independence proofs |
Kenneth Kunen |
James E. Baumgartner |
The Journal of Symbolic Logic |
1986 |
| An Introduction to Philosophical Logic |
A. C. Grayling |
Susan Haack |
The Journal of Symbolic Logic |
1985 |
| Introduction to Montague semantics. Synthese language library, vol |
D R Dowty |
Paolo Dau |
The Journal of Symbolic Logic |
1985 |
| Introduction to mathematical logic. Set theory, computable functions, model theory |
Jerome Malitz |
P. Eklof |
The Journal of Symbolic Logic |
1984 |
| Karel Lambert and Gordon G. Brittan Jr. An introduction to the philosophy of science |
Karel Lambert |
Paul Teller |
The Journal of Symbolic Logic |
1982 |
| F. William Lawvere. Introduction to part I. Model theory and topoi, A collection of lectures by various authors |
F William Lawvere |
M. E. Szabo |
The Journal of Symbolic Logic |
1981 |
| An introduction to the general theory of algorithms |
Michael Machtey |
Nancy Lynch |
The Journal of Symbolic Logic |
1981 |
| Introduction to mathematical logic. English translation of XXXVIII 518 by Diana Schmidt |
Hans Hermes |
Don Pigozzi |
The Journal of Symbolic Logic |
1980 |
| Introduction to mathematical logic |
Elliott Mendelson |
D. van Dalen |
The Journal of Symbolic Logic |
1980 |
| Introduction to symbolic logic |
Karl J. Smith |
Ian F. Carlstrom |
The Journal of Symbolic Logic |
1980 |
| An introduction to modal logic, ir. collaboration with Dana Scott, edited by Krister Segerberg |
E. J. Lemmon |
R. A. Bull |
The Journal of Symbolic Logic |
1979 |
| Plausible reasoning. An introduction to the theory and practice of plausibilistic inference |
Nicholas Rescher |
Paul W. Humphreys |
The Journal of Symbolic Logic |
1978 |
| Introduction to modern mathematics. English translation of Wstęp do matematyki współczesnej by Olgierd Wojtasiewicz |
Helena Rasiowa |
Angelo Margaris |
The Journal of Symbolic Logic |
1978 |
| Set Theory: An Introduction to Large Cardinals |
Frank R. Drake |
Azriel Levy |
The Journal of Symbolic Logic |
1978 |
| Choice and chance. An introduction to inductive logic |
Brian Skyrms |
David F. Siemens |
The Journal of Symbolic Logic |
1976 |
| Introduction to the logical design of switching systems |
H. C. Torng |
H. B. Enderton |
The Journal of Symbolic Logic |
1976 |
| Choice and chance. An introduction to inductive logic |
Brian Skyrms |
David F Siemens Jr |
The Journal of Symbolic Logic |
1976 |
| Introduction to the logical design of switching systems |
H. C. Torng |
H. B. Enderton |
The Journal of Symbolic Logic |
1976 |
| Introduction to symbolic logic |
John L. Pollock |
B. G. Hurdle |
The Journal of Symbolic Logic |
1975 |
| Corrado Böhm and Wolf Gross. Introduction to the CUCH. Automata theory |
E. R. Caianiello |
Jonathan P. Seldin |
The Journal of Symbolic Logic |
1975 |
| Conceptual foundations of scientific thought. An introduction to the philosophy of science |
Marx W. Wartofsky |
David Miller |
The Journal of Symbolic Logic |
1974 |
| A mathematical introduction to logic |
Herbert B. Enderton |
J. R. Shoenfield |
The Journal of Symbolic Logic |
1973 |
| Introduction to metamathematics. Sixth printing of XIX 215 |
Stephen Cole Kleene |
H. B. Enderton |
The Journal of Symbolic Logic |
1973 |
| A concise introduction to logic |
Ian Hacking |
Alfons Borgers |
The Journal of Symbolic Logic |
1973 |
| Introduction to axiomatic set theory |
G. Takeuti and W. M. Zaring |
F. R. Drake |
The Journal of Symbolic Logic |
1973 |
| Introduction to combinatory logic |
J. R. Hindley, B. Lercher, and J. P. Seldin |
Henk Barendregt |
The Journal of Symbolic Logic |
1973 |
| An introduction to modal logic. A second printing, with corrections, of XXXVI 328 |
G. E. Hughes and M. J. Cresswell |
H. B. Enderton |
The Journal of Symbolic Logic |
1972 |
| Introduction to formal grammars. English translation of XXXIV 298 by M. Salkoff |
M. Gross and A. Lentin |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1971 |
| Abstract sets and finite ordinals. An introduction to the study of set theory |
G. B. Keene |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1971 |
| An introduction to modal logic |
G. E. Hughes and M. J. Cresswell |
R. A. Bull |
The Journal of Symbolic Logic |
1971 |
| Introduction to Logic |
Irving M. Copi |
Alfons Borgers |
The Journal of Symbolic Logic |
1970 |
| A systematic introduction to normative ethics and meta-ethics |
Richard T. Garner and Bernard Rosen |
Krister Segerberg |
The Journal of Symbolic Logic |
1970 |
| Introduction to logic |
Nicholas Rescher |
William E. Gould |
The Journal of Symbolic Logic |
1970 |
| Introduction to Logic |
Irving M. Copi |
Alfons Borgers |
The Journal of Symbolic Logic |
1970 |
| Raymond L. Wilder. Introduction to the foundations of mathematics. Second edition of XIX 225 |
|
Krister Segerberg |
The Journal of Symbolic Logic |
1969-07-25 |
| Introduction to mathematical logic |
Elliott Mendelson |
Dirk van Dalen |
The Journal of Symbolic Logic |
1969-05-29 |
| Introduction to logic and sets |
Robert R. Christian |
Alfons Borgers |
The Journal of Symbolic Logic |
1969 |
| A modern introduction to indian logic |
S. S. Barlinoay |
J. F. Staal |
The Journal of Symbolic Logic |
1969 |
| Introduction to the theory of finite automata. English translation of XXIX 97, edited by J. C. Shepherdson |
N. E. Kobrinskii and B. A. Trakhtenbrot |
Robert McNaughton |
The Journal of Symbolic Logic |
1968-10-10 |
| Introduction to metamathematics. Fourth printing of XIX 215 |
Stephen Cole Kleene |
Ann Singleterry Ferebee |
The Journal of Symbolic Logic |
1968-07-23 |
| Introduction to the formal analysis of natural languages |
Noam Chomsky and George A. Miller |
Joseph S. Ullian |
The Journal of Symbolic Logic |
1968-07-23 |
| Introduction to lattice theory |
D. E. Rutherford |
Donald Monk |
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 |
| Introduction to logic and to the methodology of deductive sciences |
Alfred Tarski |
Ann M. Singleterry |
The Journal of Symbolic Logic |
1966 |
| Symbolism and truth. An introduction to the theory of knowledge. An unaltered reprint of 2902 |
Ralph Monroe Eaton |
Charles A. Baylis |
The Journal of Symbolic Logic |
1966 |
| Solvable Surányi subclasses: an introduction to the Herbrand theory |
Burton S. Dreben |
Peter Andrews |
The Journal of Symbolic Logic |
1965 |
| 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 |
| An introduction to modern logic. An elementary textbook of symbolic logic |
William H. Halberstadt |
Theodore Hailperin |
The Journal of Symbolic Logic |
1964 |
| Introduction to Logic |
Irving M. Copi |
Donald Kalish |
The Journal of Symbolic Logic |
1964 |
