|
|
|
|
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
|
|
|
QA 9.4 P9 : An introduction to non-classical logic.; BJL
|
|
|
|
An introduction to non-classical logic.
BJL
|
BOOK
|
2001
|
|
|
QA 9.47 D8, : Elements of intuitionism.; BJL
|
|
|
|
Elements of intuitionism.
BJL
|
BOOK
|
1977
|
|
|
QA 9.47 F5, : Intuitionistic logic, model theory and forching.; BJL
|
|
|
|
Intuitionistic logic, model theory and forching.
BJL
|
BOOK
|
1969
|
|
|
QA 9.47 H6 : Intuitionism : an introduction.; BJL
|
|
|
|
Intuitionism : an introduction.
BJL
|
BOOK
|
1971
|
|
|
QA 9.47 T8, : Choice sequences : a chapter of intuitionistic mathematics.; BJL
|
|
|
|
Choice sequences : a chapter of intuitionistic mathematics.
BJL
|
BOOK
|
1977
|
|
|
QA 9.5 B2 : The lambda calculus : its syntax and semantics.; BJL
|
|
|
|
The lambda calculus : its syntax and semantics.
BJL
|
BOOK
|
1984
|
|
|
QA 9.5 H6 : Introduction to combinatory logic / by J.R. Hindley, B. Lercher and J.P. Seldin.; BJL
|
|
|
|
Introduction to combinatory logic / by J.R. Hindley, B. Lercher and J.P. Seldin.
BJL
|
BOOK
|
1972
|
|
|
QA 9.5 S8 / q : Introduction to combinatory logic / by Sören Stenlund.; BJL
|
|
|
|
Introduction to combinatory logic / by Sören Stenlund.
BJL
|
BOOK
|
1971
|
|
|
QA9.54 : Q.E.D : beauty in mathematical proof / written and illustrated by Burkard Polster.; BJL
|
|
|
|
Q.E.D : beauty in mathematical proof / written and illustrated by Burkard Polster.
BJL
|
BOOK
|
2004
|
|
|
QA 9.54 A4 : Numbers and proofs.; BJL
|
|
|
|
Numbers and proofs.
BJL
|
BOOK
|
1997
|
|
