|
|
QA 8.4 C4 : Conversations on mind, matter, and mathematics / Jean-Pierre Changeux, Alain Connes.; BJL
|
|
|
Conversations on mind, matter, and mathematics / Jean-Pierre Changeux, Alain Connes.
BJL
|
BOOK
|
1995
|
|
QA 8.4 F4 : Realism, mathematics, and modality.; BJL
|
|
|
Realism, mathematics, and modality.
BJL
|
BOOK
|
1989
|
|
QA 8.4 F8 : Wittgenstein's philosophy of mathematics.; BJL
|
|
|
Wittgenstein's philosophy of mathematics.
BJL
|
BOOK
|
1994
|
|
QA 8.4 H2 : A mathematician's apology / with a foreword by C. P. Snow.; BJL
|
|
|
A mathematician's apology / with a foreword by C. P. Snow.
BJL
|
BOOK
|
1967
|
|
QA 8.4 L1 : Proofs and refutations : the logic of mathematical discovery / Imre Lakatos ; edited by John Worrall and Elie Zahar.; BJL
|
|
|
Proofs and refutations : the logic of mathematical discovery / Imre Lakatos ; edited by John Worrall
BJL
|
BOOK
|
1976
|
|
QA 8.4 L9 : The conceptual roots of mathematics. An essay on the philosophy of mathematics.; BJL
|
|
|
The conceptual roots of mathematics. An essay on the philosophy of mathematics.
BJL
|
BOOK
|
1999
|
|
QA 8.4 M1
|
|
|
Naturalism in mathematics.
BJL
|
BOOK
|
1997
|
Realism in mathematics.
BJL
|
BOOK
|
1990
|
|
QA 8.4 M4 / q : Mathematech : the global review of mathematics and its applications.; BJL
|
|
|
Mathematech : the global review of mathematics and its applications.
BJL
|
BOOK
|
1994
|
|
QA 8.4 M9 : Structures for everyone : contemplations and proofs in the foundations and philosophy of physics and mathematics.; BJL
|
|
|
Structures for everyone : contemplations and proofs in the foundations and philosophy of physics and
BJL
|
BOOK
|
1998
|
|
QA 8.4 P9 : Mathematics for the multitude? : a history of the Mathematical Association.; BJL
|
|
|
Mathematics for the multitude? : a history of the Mathematical Association.
BJL
|
BOOK
|
1994
|
|
QA 8.4 R4 : Revolutions in mathematics / edited by Donald Gillies.; BJL
|
|
|
Revolutions in mathematics / edited by Donald Gillies.
BJL
|
BOOK
|
1992
|
|
QA 8.4 S5 : Mathematics in Kant's critical philosophy : reflections on mathematical practice.; BJL
|
|
|
Mathematics in Kant's critical philosophy : reflections on mathematical practice.
BJL
|
BOOK
|
2003
|
|
QA8.4 .W334 2017 : Making and breaking mathematical sense : histories and philosophies of mathematical practice / Roi Wagner.; BJL
|
|
|
Making and breaking mathematical sense : histories and philosophies of mathematical practice / Roi Wa
BJL
|
BOOK
|
2017
|
|
QA 8.6 K1 : Discrete thoughts : essays on mathematics, science, and philosophy / Mark Kac, Gian-Carlo Rota, and Jacob T. Schwartz.; BJL
|
|
|
Discrete thoughts : essays on mathematics, science, and philosophy / Mark Kac, Gian-Carlo Rota, and J
BJL
|
BOOK
|
1992
|
|
QA 8.7 R47
|
|
|
Research in mathematics education : papers of the British Society for Research into Learning Mathemat
BJL
|
BOOK
|
c2005
|
Research in mathematics education : papers of the British Society for Research into Learning Mathemat
BJL
|
BOOK
|
c2000
|
Research in mathematics education : papers of the British Society for Research into Learning Mathemat
BJL
|
BOOK
|
c2003
|
Research in mathematics education : papers of the British Society for Research into Learning Mathemat
BJL
|
BOOK
|
c2004
|
2 additional entries
|
|
|
|
QA 9 A5 : An introduction to mathematical logic and type theory : to truth through proof.; BJL
|
|
|
An introduction to mathematical logic and type theory : to truth through proof.
BJL
|
BOOK
|
1986
|
|
QA 9 B6 : Logic and proof / Marvin L. Bittinger.; BJL
|
|
|
Logic and proof / Marvin L. Bittinger.
BJL
|
BOOK
|
1970
|
|
QA 9 B8 / q : Fun with logic.; Education Resources
|
|
|
Fun with logic.
Education Resources
|
BOOK
|
1983
|
|
QA 9 B9 : The real world and mathematics.; BJL
|
|
|
The real world and mathematics.
BJL
|
BOOK
|
1981
|
|
QA 9 C9, : Foundations of mathematical logic.; BJL
|
|
|
Foundations of mathematical logic.
BJL
|
BOOK
|
1963
|
|
QA 9 D1 : Logic and structure.; BJL
|
|
|
Logic and structure.
BJL
|
BOOK
|
1980
|
|
QA 9 E1 : Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas.; BJL
|
|
|
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas.
BJL
|
BOOK
|
1994
|
|
QA 9 G6,
|
|
|
Development of mathematical logic.
BJL
|
BOOK
|
1971
|
Mathematical logic.
BJL
|
BOOK
|
1957
|
|
QA 9 H2
|
|
|
First-order dynamic logic.
BJL
|
BOOK
|
1979
|
Handbook of mathematical logic.
BJL
|
BOOK
|
|
Handbook of spatial logics / edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem.
BJL
|
BOOK
|
c2007
|
Logic for mathematicians.
BJL
|
BOOK
|
1978
|
|
QA 9 H4 : Diamond : a paradox logic.; BJL
|
|
|
Diamond : a paradox logic.
BJL
|
BOOK
|
1997
|
|
QA 9 H5, : Logical writings.; BJL
|
|
|
Logical writings.
BJL
|
BOOK
|
1971
|
|
QA 9 H6
|
|
|
Grundzüge der theoretischen logik.
BJL
|
BOOK
|
1946
|
Principles of mathematical logic.
BJL
|
BOOK
|
1950
|
|
QA 9 K1 : Mathematics and logic : retrospect and prospects / Mark Kac, Stanislaw M. Ulam.; Education Resources
|
|
|
Mathematics and logic : retrospect and prospects / Mark Kac, Stanislaw M. Ulam.
Education Resources
|
BOOK
|
1979
|
|
QA 9 K2 : The infinite in mathematics : logico-mathematical writings / edited by B.McGuinness.; BJL
|
|
|
The infinite in mathematics : logico-mathematical writings / edited by B.McGuinness.
BJL
|
BOOK
|
1978
|
|
QA 9 K6, : Mathematical logic.; BJL
|
|
|
Mathematical logic.
BJL
|
BOOK
|
1967
|
|
QA 9 L7 : Mathematical logic : an introduction to model theory / edited by H.B. Enderton.; BJL
|
|
|
Mathematical logic : an introduction to model theory / edited by H.B. Enderton.
BJL
|
BOOK
|
1978
|
|
QA 9 L8 / q : Logic games and activities for children / Terry Lowe ...[et al.].; Education Resources
|
|
|
Logic games and activities for children / Terry Lowe ...[et al.].
Education Resources
|
BOOK
|
1983
|
|
QA 9 M2 : A course in mathematical logic.; BJL
|
|
|
A course in mathematical logic.
BJL
|
BOOK
|
1977
|
|
QA 9 M3, : First order mathematical logic.; BJL
|
|
|
First order mathematical logic.
BJL
|
BOOK
|
1967
|
|
QA 9 M5
|
|
|
Introduction to mathematical logic.
BJL
|
BOOK
|
1964
|
Introduction to mathematical logic.
BJL
|
BOOK
|
1979
|
|
QA 9 M7 : Mathematical logic.; BJL
|
|
|
Mathematical logic.
BJL
|
BOOK
|
1976
|
|
QA 9 M8 : Elementary induction on abstractstructures.; BJL
|
|
|
Elementary induction on abstractstructures.
BJL
|
BOOK
|
1974
|
|
QA 9 P2 : The uncertain reasoner's companion : a mathematical perspective.; BJL
|
|
|
The uncertain reasoner's companion : a mathematical perspective.
BJL
|
BOOK
|
1994
|
|
QA 9 P7, : Mathematical logic.; BJL
|
|
|
Mathematical logic.
BJL
|
BOOK
|
1973
|
|
QA 9 R3 : Logic and computer science / S. Reeves, M. Clarke.; BJL
|
|
|
Logic and computer science / S. Reeves, M. Clarke.
BJL
|
BOOK
|
1990
|
|
QA 9 R9
|
|
|
The principles of mathematics / by Bertrand Russell.
BJL
|
BOOK
|
1937
|
The principles of mathematics / Bertrand Russell ; with a new introduction by John G. Slater.
BJL
|
BOOK
|
1992
|
|
QA 9 S5 : Mathematical logic.; BJL
|
|
|
Mathematical logic.
BJL
|
BOOK
|
1967
|
|
QA 9 S7 : Laws of form.; BJL
|
|
|
Laws of form.
BJL
|
BOOK
|
1994
|
|
QA 9 S8 : Matrix logic.; BJL
|
|
|
Matrix logic.
BJL
|
BOOK
|
1988
|
|
QA 9 W2 : Popular lectures on mathematical logic / Wang Hao.; BJL
|
|
|
Popular lectures on mathematical logic / Wang Hao.
BJL
|
BOOK
|
1981
|
|
QA 9.2 F2 : In the light of logic.; BJL
|
|
|
In the light of logic.
BJL
|
BOOK
|
1998
|
|
QA 9.25 E5 : Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games / Douglas E. Ensley, J. Winston Crawley.; BJL
|
|
|
Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games / Douglas E
BJL
|
BOOK
|
c2006
|
|
QA 9.3 S4 : Classical propositional operators : an exercise in the foundations of logic.; BJL
|
|
|
Classical propositional operators : an exercise in the foundations of logic.
BJL
|
BOOK
|
1982
|
|
QA 9.35 R6 : Logic : form and function : the mechanization of dedictive reasoning.; BJL
|
|
|
Logic : form and function : the mechanization of dedictive reasoning.
BJL
|
BOOK
|
1979
|
|
QA 9.37 K1, : Languages with expressions of infinite length.; BJL
|
|
|
Languages with expressions of infinite length.
BJL
|
BOOK
|
1964
|
|