Library
Your session will expire automatically in
0
seconds.
Continue session
End session now
SearchType
TITLE
KEYWORD
AUTHOR
SUBJECT
BJL CLASSMARK
KDL CLASSMARK
PERIODICAL TITLE
ISN
RESOURCE NAME
RESOURCE SUBJECT
Search
Search Scope
BJL, Hull
KDL, Scarborough
All Libraries
Limit search to available items
SUBJECTS (1-14 of 14)
Proof Theory
1
Mark
Are you sure? : learning about proof : a book of ideas for teachers of upper secondary school studen
Leicester : Mathematical Association, 2005.
2005
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
q QA 9.54 A6
8 WEEK LOAN
AVAILABLE
2
Mark
Are you sure? : learning about proof : a book of ideas for teachers of upper secondary school studen
Leicester : Mathematical Association, 1999.
1999
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
q QA 9.54 A6
8 WEEK LOAN
AVAILABLE
3
Mark
Beweismethoden der differentialgeometrie im grossen
Berlin : Springer-Verlag, 1973.
1973
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
q QA 4 L47(335)
8 WEEK LOAN
AVAILABLE
4
Mark
Can you prove it? : developing concepts of proof in primary and secondary schools
Waring, Sue, author.
Leicester : Mathematical Association, c2008.
c2008
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL Reading Room 1st floor HDC
q QA 9.54 W2
4 WEEK LOAN
AVAILABLE
5
Mark
The Greek concept of proof.
Fauvel, John.
Milton Keynes : Open University Press, 1987.
1987
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL Reading Room Mezzanine
OS 511.3 FAU
4 WEEK LOAN
AVAILABLE
6
Mark
How to prove it : a structured approach.
Velleman, Daniel J.
Cambridge : Cambridge University Press, 1994.
1994
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
BC 135 V4
8 WEEK LOAN
AVAILABLE
BJL 3rd Floor
BC 135 V4
8 WEEK LOAN
AVAILABLE
BJL 3rd Floor
BC 135 V4
8 WEEK LOAN
AVAILABLE
7
Mark
An introduction to mathematical reasoning : lectures on numbers, sets, and functions
Eccles, Peter J., 1945-
New York : Cambridge University Press, 1997.
1997
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 9.54 E1
8 WEEK LOAN
AVAILABLE
8
Mark
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
Berlin ; New York : Springer-Verlag, 1981.
1981
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
q QA 4 L47(897)
8 WEEK LOAN
AVAILABLE
9
Mark
Logic and proof
Bittinger, Marvin L., author.
Reading, Mass. : Addison-Wesley, 1970.
1970
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 9 B6
8 WEEK LOAN
AVAILABLE
BJL 3rd Floor
QA 9 B6
8 WEEK LOAN
AVAILABLE
10
Mark
Numbers and proofs.
Allenby, R.B.J.T.
London : Arnold, 1997.
1997
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 9.54 A4
8 WEEK LOAN
AVAILABLE
BJL 3rd Floor
QA 9.54 A4
8 WEEK LOAN
AVAILABLE
11
Mark
Proof in mathematics ('if', 'then' and 'perhaps') : a collection of material illustrtating the natur
University of Keele. Institute of Education.
Keele : University of Keele, 1978.
1978
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 9.54 P9
8 WEEK LOAN
AVAILABLE
12
Mark
Proof : interesting activities in conjecture and mathematical proof. Student handbook
Brown, Paul.
Perth, W.A. : Paul Brown, 2010.
2010
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL Reading Room Mezzanine
OS 511.36 BRO
4 WEEK LOAN
AVAILABLE
BJL Reading Room Mezzanine
OS 511.36 BRO
4 WEEK LOAN
AVAILABLE
13
Mark
Proofs and refutations : the logic of mathematical discovery
Lakatos, Imre, 1922-1974, author.
Cambridge : Cambridge University Press, 1976.
1976
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL Reading Room 1st floor HDC
QA 8.4 L1
4 WEEK LOAN
AVAILABLE
14
Mark
Q.E.D : beauty in mathematical proof
Polster, Burkard.
New York : Walker & Co, 2004.
2004
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL Reading Room Mezzanine
511.36 POL
4 WEEK LOAN
AVAILABLE
BJL Reading Room Mezzanine
511.36 POL
4 WEEK LOAN
AVAILABLE
BJL Reading Room Mezzanine
511.36 POL
4 WEEK LOAN
AVAILABLE
Click to view copies/volumes at all libraries