|
|
|
|
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
|
|
|
QA 9.54 A6
|
|
|
|
Are you sure? : learning about proof : a book of ideas for teachers of upper secondary school student
BJL
|
BOOK
|
2005
|
|
Are you sure? : learning about proof : a book of ideas for teachers of upper secondary school student
BJL
|
BOOK
|
1999
|
|
|
QA 9.54 B5 : There's something about Gödel : the complete guide to the incompleteness theorem / Francesco Berto.; BJL
|
|
|
|
There's something about Gödel : the complete guide to the incompleteness theorem / Francesco Berto.
BJL
|
BOOK
|
2009
|
|
|
QA 9.54 E1 : An introduction to mathematical reasoning : lectures on numbers, sets, and functions / Peter J. Eccles.; BJL
|
|
|
|
An introduction to mathematical reasoning : lectures on numbers, sets, and functions / Peter J. Eccle
BJL
|
BOOK
|
1997
|
|
|
QA 9.54 F5 : Proof methods for modal and intuitionistic logics.; BJL
|
|
|
|
Proof methods for modal and intuitionistic logics.
BJL
|
BOOK
|
1983
|
|
|
QA 9.54 F8 : Introduction to proofs in mathematics / James Franklin, Albert Daoud.; BJL
|
|
|
|
Introduction to proofs in mathematics / James Franklin, Albert Daoud.
BJL
|
BOOK
|
1988
|
|
|
QA 9.54 P7 : Proof.; BJL
|
|
|
|
Proof.
BJL
|
BOOK
|
1984
|
|
|
QA 9.54 P9
|
|
|
|
Proof and reasoning / prepared by the course team.
BJL
|
BOOK
|
1997
|
|
Proof in mathematics ('if', 'then' and 'perhaps') : a collection of material illustrtating the nature
BJL
|
BOOK
|
1978
|
|
|
QA 9.54 S6 : How to read and do proofs : an introduction to mathematical thought processes.; BJL
|
|
|
|
How to read and do proofs : an introduction to mathematical thought processes.
BJL
|
BOOK
|
1990
|
|
