| A mathematical introduction to logic |
Herbert B Enderton |
Natasha Dobrinen |
The Bulletin of Symbolic Logic |
2003-09-01 |
| A Course in Model Theory. An Introduction to Contemporary Mathematical Logic Bruno Poizat Moses Klein |
Bruno Poizat |
Gregory Cherlin |
The Bulletin of Symbolic Logic |
2001-12-00 |
| Introduction to mathematical logic, Third edition of XXXIV 110 and XLV 631 |
Elliott Mendelson |
John Corcoran |
The Journal of Symbolic Logic |
1989 |
| An introduction to mathematical logic and type theory: to truth through proof |
Peter B. Andrews |
M. Yasuhara |
The Journal of Symbolic Logic |
1988 |
| An introduction to mathematical logic and type theory: to truth through proof |
Peter B. Andrews |
M. Yasuhara |
The Journal of Symbolic Logic |
1988 |
| Introduction to elementary mathematical logic. English translation edited by Elliot; Mendelson of Eléméntarnoé vvédénié v matématičéskuú logiku |
Abram Aronovich Stolyar |
Diane Resek |
The Journal of Symbolic Logic |
1986 |
| Introduction to mathematical logic. Set theory, computable functions, model theory |
Jerome Malitz |
P. Eklof |
The Journal of Symbolic Logic |
1984 |
| 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 |
| A mathematical introduction to logic |
Herbert B. Enderton |
J. R. Shoenfield |
The Journal of Symbolic Logic |
1973 |
| Introduction to mathematical logic |
Elliott Mendelson |
Dirk van Dalen |
The Journal of Symbolic Logic |
1969-05-29 |
| Introduction to mathematical logic. Volume I. Second printing |
Alonzo Church |
S. C. Kleene |
The Journal of Symbolic Logic |
1958 |
| Introduction to Mathematical Logic, Volume I |
Alonzo Church |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1957-01-00 |
| Introduction to mathematical logic |
Alonzo Church |
Max Black |
The Journal of Symbolic Logic |
1957 |
| An introduction to mathematical thought |
E. R. Stabler |
A. R. Turquette |
The Journal of Symbolic Logic |
1955 |
| Introduction to mathematical thinking. The formation of concepts in modern mathematics. With a foreword by Karl Menger. Translated by Theodore J. Benac |
Friedrich Waismann |
Alonzo Church |
The Journal of Symbolic Logic |
1952 |
| Introduction to mathematical logic and its applications |
Ira Rosenbaum |
A. R. Turquette |
The Journal of Symbolic Logic |
1951 |
| Introduction to mathematical logic |
Alonzo Church |
G. D. W. Berry |
The Journal of Symbolic Logic |
1945 |
| Introduction to Mathematical Logic. Part I Alonzo Church C. A. Truesdell |
Alonzo Church |
E. N. |
The Journal of Philosophy |
1944-12-00 |
