Return to home page

Most Used Titles in Class QA9

Rank TITLE Lib Uses Year
1 Logical reasoning with diagrams / edited by Gerard Allwein and Jon Barwise with contributions by ASU 26 1996
2 Introduction to mathematical logic / Elliott Mendelson ASU 26 1987
3 Gödel's proof, by Ernest Nagel and James R. Newman UNCA 22 1958
4 To infinity and beyond : a cultural history of the infinite / Eli Maor UNCA 16 1987
5 How to prove it : a structured approach / Daniel J. Velleman UNCA 16 1994
6 Infinity and the mind : the science and philosophy of the infinite / by Rudy Rucker ASU 14 1982
7 Infinity and the mind : the science and philosophy of the infinite / by Rudy Rucker WCU 14 1982
8 Logic as algebra / Paul Halmos, Steven Givant ASU 13 1998
9 Everything and more : a compact history of [infinity] / David Foster Wallace ASU 13 2003
10 Collected works / Kurt Gödel editors, Solomon Feferman ... [et al.] UNCA 13 1986
11 Infinity and the mind : the science and philosophy of the infinite / by Rudy Rucker UNCA 12 1982
12 The mystery of the aleph : mathematics, the kabbalah, and the search for infinity / Amir D. Aczel UNCA 11 2000
13 Set theory and the continuum hypothesis [by] Paul J. Cohen UNCA 11 1966
14 A mathematical introduction to logic / Herbert B. Enderton ASU 11 2001
15 Collected works / Kurt Gödel editors, Solomon Feferman ... [et al.] UNCA 10 1986
16 Philosophy of mathematics selected readings. Edited and with an introd. by Paul Benacerraf and Hi WCU 9 1964
17 Introduction to mathematical logic ASU 9 1964
18 How to read and do proofs : an introduction to mathematical thought process / Daniel Solow WCU 9 1982
19 How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow UNCA 9 2002
20 Chapter zero : fundamental notions of abstract mathematics / Carol Schumacher UNCA 9 2001
21 Introduction to mathematical philosophy, by Bertrand Russell ASU 8 1919
22 How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow ASU 8 1990
23 Everything and more : a compact history of [infinity] / David Foster Wallace UNCA 8 2003
24 Collected works / Kurt Gödel editors, Solomon Feferman ... [et al.] UNCA 8 1986
25 The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms UNCA 7 1970
26 Logic for mathematicians / A. G. Hamilton ASU 7 1978
27 Intuitionism an introduction. [By] A. Heyting ASU 7 1971
28 Introduction to logic and to the methodology of deductive sciences WCU 7 1946
29 Handbook of mathematical logic / edited by Jon Barwise, with the cooperation of H. J. Keisler ... ASU 7 1977
30 From Frege to Gödel a source book in mathematical logic, 1879-1931 WCU 7 1967
31 Evolution of mathematical concepts an elementary study [by] Raymond L. Wilder UNCA 7 1968
32 Classical mathematical logic : the semantic foundations of logic / Richard L. Epstein with contr ASU 7 2006
33 Philosophy of mathematics and natural science UNCA 6 1949
34 Principles of mathematics [by] Bertrand Russell, F.R.S ASU 6 1938
35 Keys to infinity / Clifford A. Pickover ASU 6 1995
36 Introduction to metamathematics UNCA 6 1964
37 Foundations of mathematics [by] William S. Hatcher UNCA 6 1968
38 Collected works / Kurt Gödel editors, Solomon Feferman ... [et al.] ASU 6 1986
39 The foundations of arithmetic a logico-mathematical enquiry into the concept of number. English t ASU 5 1950
40 To infinity and beyond : a cultural history of the infinite / Eli Maor WCU 5 1987
41 Philosophy of mathematics selected readings. Edited and with an introd. by Paul Benacerraf and Hi ASU 5 1964
42 Perspectives on the history of mathematical logic / Thomas Drucker, editor ASU 5 1991
43 Principia mathematica, by Alfred North Whitehead and Bertrand Russell UNCA 5 1963
44 Number, the language of science WCU 5 1954
45 Notes on logic and set theory / P.T. Johnstone UNCA 5 1987
46 Mathematical logic ASU 5 1965
47 How to prove it : a structured approach / Daniel J. Velleman WCU 5 1994
48 Gödel's proof, by Ernest Nagel and James R. Newman WCU 5 1958
49 From Frege to Gödel a source book in mathematical logic, 1879-1931 ASU 5 1967
50 Undecidable theories, by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Rob ASU 4 1953
51 Translations from the philosophical writings of Gottlob Frege. Edited by Peter Geach and Max Black ASU 4 1970
52 The foundations of mathematics and other logical essays. Edited by R. B. Braithwaite, with a pref. WCU 4 1960
53 The Dell book of classic logic problems / editor-in-chief, Erica L. Rothstein editor, Stacey E. UNCA 4 1994
54 The magic of numbers UNCA 4 1946
55 Set theory and the continuum hypothesis [by] Paul J. Cohen ASU 4 1966
56 Principia mathematica : to *56 by Alfred North Whitehead and Bertrand Russell ASU 4 1962
57 Principles of mathematics, by Bertrand Russell UNCA 4 1937
58 Mathematical logic: a first course [by] Joel W. Robbin ASU 4 1969
59 Mathematical foundations of programming / Frank S. Beckman ASU 4 1980
60 Infinity with drawings by Hugh Gray Lieber ASU 4 1953
61 Introduction to mathematical logic UNCA 4 1964
62 How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow UNCA 4 1990
63 Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Gödel. E WCU 4 1969
64 From Frege to Gödel a source book in mathematical logic, 1879-1931 UNCA 4 1967
65 An introduction to mathematical logic [by] Gerson B. Robison UNCA 4 1969
66 An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews ASU 4 1986
67 A first course in logic : an introduction to model theory, proof theory, computability, and comple UNCA 4 2004
68 Admissible sets and structures : an approach to definability theory / K. Jon Barwise ASU 4 1975
69 A bridge to advanced mathematics ASU 4 1975
70 The philosophy of mathematics: an introductory essay WCU 3 1968
71 The philosophy of mathematics, an introduction UNCA 3 1962
72 Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-tung Lee WCU 3 1973
73 Paradoxes of the infinite. Translated from the German of the posthumous ed. by Fr. Přihonský and ASU 3 1950
74 Principia mathematica, by Alfred North Whitehead ... and Bertrand Russell . ASU 3 1925
75 Philosophy of mathematics [by] Stephen F. Barker ASU 3 1964
76 Principia mathematica, by Alfred North Whitehead and Bertrand Russell WCU 3 1927
77 Philosophy of mathematics selected readings. Edited and with an introd. by Paul Benacerraf and Hi UNCA 3 1964
78 Principles of mathematics WCU 3 1938
79 Number, the language of science UNCA 3 1954
80 Learning to reason : an introduction to logic, sets, and relations / Nancy Rodgers UNCA 3 2000
81 Logic and structure / Dirk van Dalen ASU 3 1994
82 Keys to infinity / Clifford A. Pickover UNCA 3 1995
83 Keys to infinity / Clifford A. Pickover UNCA 3 1995
84 In search of infinity / N. Ya. Vilenkin translated by Abe Shenitzer, with the editorial assistan UNCA 3 1995
85 Introduction to the foundations of mathematics UNCA 3 1952
86 Introduction to the foundations of mathematics [by] Raymond L. Wilder ASU 3 1965
87 Introduction to the foundations of mathematics [by] Raymond L. Wilder WCU 3 1965
88 Introduction to logic and to the methodology of deductive sciences UNCA 3 1946
89 Gödel's proof, by Ernest Nagel and James R. Newman ASU 3 1958
90 Fixing Frege / John P. Burgess ASU 3 2005
91 First order mathematical logic ASU 3 1967
92 Euclid in the rainforest : discovering universal truth in logic and math / Joseph Mazur ASU 3 2005
93 Essays in the philosophy of mathematics UNCA 3 1965
94 Development of mathematical logic, by R. L. Goodstein WCU 3 1971
95 An essay on the psychology of invention in the mathematical field UNCA 3 1954
96 Algebraic methods of mathematical logic. Translated by Michael Basch WCU 3 1967
97 An introduction to mathematical logic [by] Gerson B. Robison ASU 3 1969
98 A course in mathematical logic / Y. I. Manin translated from the Russian by Neal Koblitz ASU 3 1977
99 A mathematical introduction to logic [by] Herbert B. Enderton ASU 3 1972
100 A tour through mathematical logic / Robert S. Wolf UNCA 3 2005
101 What is mathematical logic? [By] J. N. Crossley [and others] UNCA 2 1972
102 The foundations of mathematics / Ian Stewart and David Tall WCU 2 1977
103 The philosophy of mathematics translated from the Cours de philosophie positive of Auguste Comte, UNCA 2 1851
104 Towards a philosophy of modern mathematics [by] J. Fang UNCA 2 1970
105 The philosophy of mathematics: an introductory essay ASU 2 1968
106 The nature of mathematics a critical survey WCU 2 1959
107 The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms ASU 2 1970
108 The nature of mathematics a critical survey UNCA 2 1959
109 Selected works in logic. Ed. by Jens Erik Fenstad WCU 2 1970
110 Philosophy of mathematics [by] Stephen F. Barker WCU 2 1964
111 Philosophy of mathematics [by] Stephen F. Barker UNCA 2 1964
112 Principia mathematica, by Alfred North Whitehead ... and Bertrand Russell . ASU 2 1925
113 Principles of mathematics, by Bertrand Russell UNCA 2 1937
114 Mathematical logic with special reference to the natural numbers [by] S. W. P. Steen ASU 2 1972
115 Mathematics and plausible reasoning ASU 2 1954
116 Mathematical logic : an introduction to model theory / A. H. Lightstone edited by H. B. Enderton ASU 2 1978
117 Logic and algorithms, with applications to the computer and information sciences [by] Robert R. Ko UNCA 2 1966
118 Logic as algebra / Paul Halmos, Steven Givant UNCA 2 1998
119 Infinity : beyond the beyond the beyond / by Lillian R. Lieber edited and with a new foreword by ASU 2 2007
120 History of mathematical logic from Leibniz to Peano [by] N. I. Styazhkin WCU 2 1969
121 History of mathematical logic from Leibniz to Peano [by] N. I. Styazhkin UNCA 2 1969
122 How to read and do proofs : an introduction to mathematical thought process / Daniel Solow UNCA 2 1982
123 Human values and science, art and mathematics. Text by Lillian R. Lieber. Drawings by Hugh G. Lieb ASU 2 1961
124 Handbook of mathematical logic / edited by Jon Barwise, with the cooperation of H. J. Keisler ... WCU 2 1977
125 Fundamentals of mathematical logic / Peter G. Hinman ASU 2 2005
126 Evolution of mathematical thought. Translated by Jane H. Gayl UNCA 2 1965
127 Everything and more : a compact history of [infinity] / David Foster Wallace WCU 2 2003
128 Essays in the philosophy of mathematics ASU 2 1965
129 Collected works / Kurt Gödel editors, Solomon Feferman ... [et al.] WCU 2 1986
130 Collected works / Kurt Gödel editors, Solomon Feferman ... [et al.] WCU 2 1986
131 A profile of mathematical logic WCU 2 1970
132 Applications of model theory to algebra, analysis, and probability, edited by W. A. J. Luxemburg UNCA 2 1969
133 A new approach to logic / Robert Katz ASU 2 1977
134 Algebraic logic and predicate functors, by W. V. Quine WCU 2 1971
135 An introduction to the elements of mathematics UNCA 2 1961
136 An introduction to mathematical logic [by] Gerson B. Robison WCU 2 1969
137 A profile of mathematical logic UNCA 2 1970
138 What is mathematical logic? [By] J. N. Crossley [and others] ASU 1 1972
139 The metamathematics of algebraic systems, ASU 1 1971
140 The philosophy of mathematics WCU 1 1950
141 The magic of numbers ASU 1 1946
142 The foundations of mathematics and other logical essays. Edited by R. B. Braithwaite, with a pref. UNCA 1 1965
143 The foundations of arithmetic a logico-mathematical enquiry into the concept of number. Tr. by J. WCU 1 1960
144 The modern aspect of mathematics. Translated by Julius H. Hlavaty and Fancille H. Hlavaty UNCA 1 1960
145 The search for truth, by Eric Temple Bell UNCA 1 1934
146 The mathematics of metamathematics [by] Helena Rasiowa and Roman Sikorski WCU 1 1970
147 The infinite book : a short guide to the boundless, timeless, and endless / John D. Barrow UNCA 1 2005
148 Set theory and the continuum hypothesis [by] Paul J. Cohen WCU 1 1966
149 Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-tung Lee ASU 1 1973
150 Statistical methods and scientific inference / by Ronald A. Fisher WCU 1 1959
151 Retracing elementary mathematics WCU 1 1962
152 Proceedings of the Second Scandinavian Logic Symposium. Ed. by J. E. Fenstad ASU 1 1971
153 Problems in the philosophy of mathematics UNCA 1 1967
154 Our mathematical heritage essays on the nature and cultural significance of mathematics WCU 1 1963
155 Our mathematical heritage essays on the nature and cultural significance of mathematics UNCA 1 1963
156 Mathematics and plausible reasoning WCU 1 1954
157 Mathematics and plausible reasoning ASU 1 1954
158 Mathematics and plausible reasoning UNCA 1 1954
159 Mathematical logic: a first course [by] Joel W. Robbin WCU 1 1969
160 Mathematical logic ASU 1 1973
161 Mathematical logic ASU 1 1967
162 Mathematical logic UNCA 1 1967
163 Mathematical thought WCU 1 1965
164 Mathematical fallacies and paradoxes / Bryan H. Bunch UNCA 1 1982
165 Logic for mathematicians / A. G. Hamilton WCU 1 1978
166 Logic and set theory [by] Philip M. Cheifetz [and] Frank J. Avenoso ASU 1 1970
167 Logic in elementary mathematics [by] Robert M. Exner [and] Myron F. Rosskopf UNCA 1 1959
168 Logic in elementary mathematics [by] Robert M. Exner [and] Myron F. Rosskopf ASU 1 1959
169 Introduction to combinatory logic [by] J. R. Hindley, B. Lercher and J. P. Seldin ASU 1 1972
170 Introduction to metamathematics WCU 1 1952
171 Introduction to mathematical thinking: the formation of concepts in modern mathematics with a for UNCA 1 1959
172 Introductory formal logic of mathematics ASU 1 1957
173 Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968. Edited ASU 1 1970
174 Infinity with drawings by Hugh Gray Lieber UNCA 1 1953
175 First order mathematical logic WCU 1 1967
176 Elements of mathematical logic [by] P. S. Novikov. Translated by Leo F. Boron. With a pref. and no WCU 1 1964
177 Elements of mathematical logic. (Model theory) [by] G. Kreisel and J. L. Krivine ASU 1 1971
178 Evolution of mathematical thought. Translated by Jane H. Gayl WCU 1 1965
179 Euclid in the rainforest : discovering universal truth in logic and math / Joseph Mazur UNCA 1 2005
180 Euclid in the rainforest : discovering universal truth in logic and math / Joseph Mazur WCU 1 2005
181 Classical and fuzzy concepts in mathematical logic and applications / Mircea Reghiș, Eugene Rove ASU 1 1998
182 An algebraic introduction to mathematical logic / D. W. Barnes, J. M. Mack ASU 1 1975
183 A tour through mathematical logic / Robert S. Wolf WCU 1 2005
184 An essay on the psychology of invention in the mathematical field ASU 1 1954
185 A philosophy of mathematics, by Louis O. Kattsoff WCU 1 1969
186 An introduction to mathematical reasoning [by] Boris Iglewicz [and] Judith Stoyle UNCA 1 1973
187 An introduction to the foundations and fundamental concepts of mathematics [by] Howard Eves [and UNCA 1 1958
188 An essay on the psychology of invention in the mathematical field WCU 1 1949
189 What is mathematical logic? [By] J. N. Crossley [and others] WCU 1972
190 The philosophy of mathematics. Edited by Jaako Hintikka ASU 1969
191 The philosophy of mathematics. Edited by Jaako Hintikka ASU 1969
192 The philosophy of mathematics. Edited by Jaako Hintikka WCU 1969
193 Theory of deductive systems and its applications / S.Yu. Maslov translated by Michael Gelfond an ASU 1987
194 The foundations of intuitionistic mathematics, especially in relation to recursive functions [by] UNCA 1965
195 The foundations of intuitionistic mathematics, especially in relation to recursive functions [by] ASU 1965
196 The foundations of intuitionistic mathematics, especially in relation to recursive functions [by] WCU 1965
197 The metamathematics of algebraic systems, ASU 1971
198 The common sense of the exact sciences / By William Kingdon Clifford edited and with a preface by WCU 1955
199 The anatomy of mathematics / by R.B. Kershner, L.R. Wilcox UNCA 1950
200 The anatomy of mathematics [by] R. B. Kershner [and] L. R. Wilcox WCU 1974
201 The foundations of mathematics and other logical essays. Edited by R. B. Braithwaite, with a pref. ASU 1965
202 The theory of probability, an inquiry into the logical and mathematical foundations of the calculu ASU 1971
203 The foundations of mathematics a study in the philosophy of science ASU 1965
204 Translations from the philosophical writings of Gottlob Frege. Edited by Peter Geach and Max Black WCU 1970
205 The common sense of the exact sciences, by William Kingdon Clifford edited, and with a preface, b UNCA 1946
206 The nature of mathematics a critical survey, by Max Black ASU 1934
207 The foundations of mathematics and other logical essays. Edited by R. B. Braithwaite, with a prefa ASU 1950
208 The infinite book : a short guide to the boundless, timeless, and endless / John D. Barrow ASU 2005
209 The search for truth / by Eric Temple Bell WCU 1935
210 The foundations of arithmetic a logicomathematical enquiry into the concept of number. Tr. by J. UNCA 1959
211 Two Soviet studies on Frege [by] B. V. Birjukov. Translated and edited by Ignatio Angelelli ASU 1964
212 Two Soviet studies on Frege [by] B. V. Birjukov. Translated and edited by Ignatio Angelelli WCU 1964
213 Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-tung Lee UNCA 1973
214 Saturated model theory [by] Gerald E. Sacks ASU 1972
215 Strict finitism an examination of Ludwig Wittgenstein's remarks on the foundations of mathematics ASU 1970
216 Statistical methods and scientific inference UNCA 1959
217 Retracing elementary mathematics ASU 1962
218 Remarks on the foundations of mathematics. Edited by G. H. von Wright, R. Rhees [and] G. E. M. Ans UNCA 1967
219 Retracing elementary mathematics UNCA 1962
220 Principia mathematica, by Alfred North Whitehead and Bertrand Russell UNCA 1963
221 Principia mathematica, by Alfred North Whitehead and Bertrand Russell UNCA 1963
222 Principia mathematica, by Alfred North Whitehead and Bertrand Russell WCU 1927
223 Philosophy of mathematics and natural science ASU 1949
224 Philosophy of mathematics and natural science WCU 1949
225 Principia mathematica, by Alfred North Whitehead and Bertrand Russell WCU 1927
226 Principia mathematica : to *56 by Alfred North Whitehead and Bertrand Russell WCU 1962
227 Philosophy of mathematics selected readings. Edited and with an introd. by Paul Benacerraf and Hi UNCA 1964
228 Omega-bibliography of mathematical logic. Vol. 6: Proof theory constructive mathematics ASU 1987
229 Omega-bibliography of mathematical logic. Vol. 3: Model theory ASU 1987
230 Outlines of a formalist philosophy of mathematics WCU 1951
231 Omega-bibliography of mathematical logic. Vol. 4: Recursion theory ASU 1987
232 On the foundations of geometry and Formal theories of arithmetic. Translated and with an introduct ASU 1971
233 On the foundations of geometry and Formal theories of arithmetic. Translated and with an introduct ASU 1971
234 Omega-bibliography of mathematical logic. Vol. 1: Classical logic ASU 1987
235 Omega-bibliography of mathematical logic. Vol. 2: Non-classical logics ASU 1987
236 Omega-bibliography of mathematical logic. Vol. 5: Set theory ASU 1987
237 Number, the language of science a critical survey written for the cultured non-mathematician, by ASU 1930
238 Number : the language of science / Tobias Dantzig edited by Joseph Mazur foreword by Barry Maz UNCA 2005
239 Man and number UNCA 1958
240 Mathematical thought an introduction to the philosophy of mathematics ASU 1965
241 Mathematics and plausible reasoning WCU 1954
242 Mathematics and plausible reasoning UNCA 1954
243 Meaning and existence in mathematics WCU 1972
244 Meaning and existence in mathematics ASU 1972
245 Mathematics and plausible reasoning, by G. Polya ASU 1968
246 Model theory for infinitary logic logic with countable conjunctions and finite quantifiers. [By] ASU 1971
247 Mathematical logic and Hilbert's & symbol [by] A. C. Leisenring WCU 1969
248 Mathematical logic and foundations of set theory. Proceedings of an international colloquium under ASU 1970
249 Mathematical logic WCU 1967
250 Mathematical foundations of programming / Frank S. Beckman WCU 1980
251 Man and number ASU 1958
252 Logic and foundations of mathematics. Dedicated to A. Heyting on his 70th birthday ASU 1968
253 Logic, computers, and sets WCU 1970
254 Logic and foundations of mathematics. Dedicated to A. Heyting on his 70th birthday WCU 1968
255 Logic and computer science / edited by Piergiorgio Odifreddi ASU 1990
256 Keys to infinity / Clifford A. Pickover WCU 1995
257 Introduction to logic and to the methodology of the deductive sciences / by Alfred Tarski UNCA 1994
258 Introduction to logic and to the methodology of deductive sciences. [Translated by Olaf Helmer ASU 1965
259 Intuitionistic logic, model theory and forcing ASU 1969
260 Intuitionistic logic, model theory and forcing WCU 1969
261 Introduction to the foundations of mathematics ASU 1952
262 Introduction to mathematical logic WCU 1964
263 Introduction to mathematical thinking: the formation of concepts in modern mathematics with a for ASU 1959
264 Introduction to mathematical thinking: the formation of concepts in modern mathematics with a for WCU 1959
265 Introduction to mathematical logic. Translated from German by Diana Schmidt WCU 1973
266 Human values and science, art and mathematics. Text by Lillian R. Lieber. Drawings by Hugh G. Lieb UNCA 1961
267 Handbook of spatial logics / edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem ASU 2007
268 Foundations of mathematics [by] William S. Hatcher ASU 1968
269 Frege and Gödel two fundamental texts in mathematical logic WCU 1970
270 First-order logic / Raymond M. Smullyan UNCA 1995
271 Foundations of mathematics [by] William S. Hatcher WCU 1968
272 Foundations of mathematical logic / Haskell B. Curry WCU 1977
273 Foundations of mathematical logic ASU 1963
274 Foundations of mathematical logic ASU 1963
275 Foundational studies : selected works / Andrzej Mostowski editorial committee, Kazimierz Kuratow ASU 1979
276 Fundamentals of mathematics UNCA 1958
277 Foundational studies : selected works / Andrzej Mostowski editorial committee, Kazimierz Kuratow ASU 1979
278 Entailment : the logic of relevance and necessity / by Alan Ross Anderson, Nuel D. Belnap, Jr., wi ASU 1975
279 Entailment : the logic of relevance and necessity / by Alan Ross Anderson, Nuel D. Belnap, Jr., wi WCU 1975
280 Elementary arithmetic, its meaning and practice. By Burdette R. Buckingham ASU 1947
281 Elementary arithmetic, its meaning and practice. By Burdette R. Buckingham UNCA 1947
282 Elements of mathematical logic [by] P. S. Novikov. Translated by Leo F. Boron. With a pref. and no UNCA 1964
283 Evolution of mathematical concepts an elementary study [by] Raymond L. Wilder WCU 1968
284 Entailment : the logic of relevance and necessity / by Alan Ross Anderson, Nuel D. Belnap, Jr., wi UNCA 1975
285 Evolution of mathematical concepts : an elementary study / Raymond L. Wilder ASU 1975
286 Entailment : the logic of relevance and necessity / by Alan Ross Anderson, Nuel D. Belnap, Jr., wi UNCA 1975
287 Entailment : the logic of relevance and necessity / by Alan Ross Anderson, Nuel D. Belnap, Jr., wi ASU 1975
288 Die Mathematisierung unserer Welt ASU 1967
289 Dictionary of symbols of mathematical logic. Edited by Robert Feys and Frederic B. Fitch ASU 1969
290 Dialogues on mathematics ASU 1967
291 Dialogues on mathematics ASU 1967
292 Cylindric algebras. [By] Leon Henkin, J. Donald Monk [and] Alfred Tarski ASU 1971
293 Compound statements and mathematical logic [by] Vincent E. Cangelosi ASU 1967
294 Collected works / Kurt Gödel editors, Solomon Feferman ... [et al.] ASU 1986
295 Collected works / Kurt Gödel editors, Solomon Feferman ... [et al.] ASU 1986
296 Collected works / Kurt Gödel editors, Solomon Feferman ... [et al.] ASU 1986
297 Continuous model theory, by Chen Chung Chang and H. Jerome Keisler UNCA 1966
298 Continuous model theory, by Chen Chung Chang and H. Jerome Keisler ASU 1966
299 Continuous model theory, by Chen Chung Chang and H. Jerome Keisler ASU 1966
300 Cylindric algebras. [By] Leon Henkin, J. Donald Monk [and] Alfred Tarski ASU 1971
301 Course of mathematical logic. [Transl. and ed. by David Louvish] ASU 1973
302 Course of mathematical logic. [Transl. and ed. by David Louvish] ASU 1973
303 A mathematical introduction to logic [by] Herbert B. Enderton WCU 1972
304 Applications of model theory to algebra, analysis, and probability, edited by W. A. J. Luxemburg ASU 1969
305 A course in mathematical logic / by J. L. Bell and M. Machover ASU 1977
306 A transfinite type theory with type variables, by P. B. Andrews ASU 1965
307 Automation in language translation and theorem proving. Some applications of mathematical logic. E WCU 1968
308 An introduction to the foundations and fundamental concepts of mathematics [by] Howard Eves [and ASU 1958
309 An outline of mathematical logic : fundamental results and notions explained with all details / by ASU 1974
310 Applications of model theory to algebra, analysis, and probability, edited by W. A. J. Luxemburg WCU 1969
311 A philosophy of mathematics ASU 1948
312 A profile of mathematical logic ASU 1970
313 An introduction to the foundations and fundamental concepts of mathematics [by] Howard Eves [and] WCU 1965
314 An introduction to mathematical thought WCU 1953
315 An introduction to mathematical thought UNCA 1953
316 An introduction to the foundations and fundamental concepts of mathematics [by] Howard Eves [and ASU 1958


WNCLN - The Western North Carolina Library Network