QA 7 S6 : Inspiration or perspiration? : the St. John's College Cambridge lecture, 1973-74, delivered at the University of Hull, 7 March 1974.; Departmental Locations
1974
1
QA 7 T9 : The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life plus the secrets of enigma / edited by B. Jack Copeland.; BJL
c2004
1
QA 8.4 B1
2
QA 8.4 B5 : The reality of numbers : a physicalist's philosophy of mathematics.; BJL
1988
1
QA 8.4 B8 : Over de grondslagen der wiskunde.; BJL
1981
1
QA 8.4 C4 : Conversations on mind, matter, and mathematics / Jean-Pierre Changeux, Alain Connes.; BJL
1995
1
QA 8.4 F4 : Realism, mathematics, and modality.; BJL
1989
1
QA 8.4 F8 : Wittgenstein's philosophy of mathematics.; BJL
1994
1
QA 8.4 H2 : A mathematician's apology / with a foreword by C. P. Snow.; BJL
1967
1
QA 8.4 L1 : Proofs and refutations : the logic of mathematical discovery / Imre Lakatos ; edited by John Worrall and Elie Zahar.; BJL
1976
1
QA 8.4 L9 : The conceptual roots of mathematics. An essay on the philosophy of mathematics.; BJL
1999
1
QA 8.4 M1
2
QA 8.4 M4 / q : Mathematech : the global review of mathematics and its applications.; BJL
1994
1
QA 8.4 M9 : Structures for everyone : contemplations and proofs in the foundations and philosophy of physics and mathematics.; BJL
1998
1
QA 8.4 P9 : Mathematics for the multitude? : a history of the Mathematical Association.; BJL
1994
1
QA 8.4 R4 : Revolutions in mathematics / edited by Donald Gillies.; BJL
1992
1
QA 8.4 S5 : Mathematics in Kant's critical philosophy : reflections on mathematical practice.; BJL
2003
1
QA8.4 .W334 2017 : Making and breaking mathematical sense : histories and philosophies of mathematical practice / Roi Wagner.; BJL
2017
1
QA 8.6 K1 : Discrete thoughts : essays on mathematics, science, and philosophy / Mark Kac, Gian-Carlo Rota, and Jacob T. Schwartz.; BJL
1992
1
QA 8.7 R47
6
QA 9 A5 : An introduction to mathematical logic and type theory : to truth through proof.; BJL
1986
1
QA 9 B6 : Logic and proof / Marvin L. Bittinger.; BJL
1970
1
QA 9 B8 / q : Fun with logic.; Education Resources
1983
1
QA 9 B9 : The real world and mathematics.; BJL
1981
1
QA 9 C9, : Foundations of mathematical logic.; BJL
1963
1
QA 9 D1 : Logic and structure.; BJL
1980
1
QA 9 E1 : Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas.; BJL
1994
1
QA 9 G6,
2
QA 9 H2
4
QA 9 H4 : Diamond : a paradox logic.; BJL
1997
1
QA 9 H5, : Logical writings.; BJL
1971
1
QA 9 H6
2
QA 9 K1 : Mathematics and logic : retrospect and prospects / Mark Kac, Stanislaw M. Ulam.; Education Resources
1979
1
QA 9 K2 : The infinite in mathematics : logico-mathematical writings / edited by B.McGuinness.; BJL
1978
1
QA 9 K6, : Mathematical logic.; BJL
1967
1
QA 9 L7 : Mathematical logic : an introduction to model theory / edited by H.B. Enderton.; BJL
1978
1
QA 9 L8 / q : Logic games and activities for children / Terry Lowe ...[et al.].; Education Resources
1983
1
QA 9 M2 : A course in mathematical logic.; BJL
1977
1
QA 9 M3, : First order mathematical logic.; BJL
1967
1
QA 9 M5
2
QA 9 M7 : Mathematical logic.; BJL
1976
1
QA 9 M8 : Elementary induction on abstractstructures.; BJL
1974
1
QA 9 P2 : The uncertain reasoner's companion : a mathematical perspective.; BJL
1994
1
QA 9 P7, : Mathematical logic.; BJL
1973
1
QA 9 R3 : Logic and computer science / S. Reeves, M. Clarke.; BJL
1990
1
QA 9 R9
2
QA 9 S5 : Mathematical logic.; BJL
1967
1
QA 9 S7 : Laws of form.; BJL
1994
1
QA 9 S8 : Matrix logic.; BJL
1988
1
QA 9 W2 : Popular lectures on mathematical logic / Wang Hao.; BJL
1981
1