511.07 Cri/Mof : Maths of fast food / Peter Cribb, Mark Sly ; edited by Mark Sly ; illustrations: Curl
Maths of fast food / Peter Cribb, Mark Sly ; edited by Mark Sly ; illustrations: Curl
WATERFT ADPML
1982?
511.07 Mon : Counting and all that / by A. Monteith
Counting and all that / by A. Monteith
W'PONDS
1963
511.07 Sou/Psw : Problem solving with calculators for grade 10 students / B. Southwell
Problem solving with calculators for grade 10 students / B. Southwell
W'PONDS
1984
511.07 Vic : Mathematics in the primary school : The influence of metric units / prepared by the Curriculum and Reseach Branch in association with the Primary Mathematics Curriculum Committee
Mathematics in the primary school : The influence of metric units / prepared by the Curriculum and Reseach Branch in association with the Primary Mathematics Curriculum Committee
WATERFT ADPML
1973
511.071094 Chi/Mat : Mathematics & teaching : topics for the professional development of teachers / edited by Helen L. Chick & Jane M. Watson
Mathematics & teaching : topics for the professional development of teachers / edited by Helen L. Chick & Jane M. Watson
W'PONDS
1994
511.076 Obr/Pcq : Problems, challenges and investigations / by Tom O'Brien ; illustrated by Steve Gibbs
Problems, challenges and investigations / by Tom O'Brien ; illustrated by Steve Gibbs
W'BOOL CRC
511.2078 Koj : Advanced abacus; Japanese theory and practice
Advanced abacus; Japanese theory and practice
W'PONDS
1971
511.3 Acz/Pta : Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990 / edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990 / edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
W'PONDS
Advances in fuzzy set theory and applications / edited by Madan M. Gupta, associate editors, Rammohan K. Ragade, Ronald R. Yager
W'PONDS
1979
Mathematical logic and its applications / edited by Dimiter G. Skordev
W'PONDS
1987
511.3 And : Entailment : the logic of relevance and necessity / by Alan Ross Anderson, Nuel D. Belnap, Jr., with contributions by J. Michael Dunn ... [and others]
Entailment : the logic of relevance and necessity / by Alan Ross Anderson, Nuel D. Belnap, Jr., with contributions by J. Michael Dunn ... [and others]
W'PONDS
c1992
511.3 Ans.h : Commentary on De Grammatico. : The historical-logical dimensions of a dialogue of St. Anselm's
Commentary on De Grammatico. : The historical-logical dimensions of a dialogue of St. Anselm's
W'PONDS
1974
511.3 Bal/Flo : Fuzzy logic / edited by J.F. Baldwin
Fuzzy logic / edited by J.F. Baldwin
MELB
1996
511.3 Bar : The lambda calculus : its syntax and semantics / H.P. Barendregt
The lambda calculus : its syntax and semantics / H.P. Barendregt
W'PONDS
The nuts and bolts of proofs / Antonella Cupillari
W'PONDS
2001
511.3 Dav : Computability & unsolvability / Martin Davis
Computability & unsolvability / Martin Davis
W'PONDS
1958
511.3 Dav/Cca 1994 : Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
W'PONDS
1994
511.3 Dea/Git : G?odel's incompleteness theorem : ends in absurdity or meaninglessness : G?odel is a complete failure as he ends in utter meaninglessness : case study in the meaninglessnees of all views / by Colin Leslie Dean
G?odel's incompleteness theorem : ends in absurdity or meaninglessness : G?odel is a complete failure as he ends in utter meaninglessness : case study in the meaninglessnees of all views / by Colin Les
WATERFT ADPML
511.3 Dem/Abf : Arithmetical books from the invention of printing to the present time : being brief notices of a large number of works drawn up from actual inspection / by Augustus De Morgan ; with an introduction by A. Rupert Hall
Arithmetical books from the invention of printing to the present time : being brief notices of a large number of works drawn up from actual inspection / by Augustus De Morgan ; with an introduction by
W'PONDS
1967
511.3 Dij/Pca : Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten
W'PONDS
1990
511.3 Din : Introduction to mathematical logic / F. Dinkines
Introduction to mathematical logic / F. Dinkines
W'PONDS
1964
511.3 Dub : Fuzzy sets and systems : theory and applications / Didier Dubois, Henri Prade
Fuzzy sets and systems : theory and applications / Didier Dubois, Henri Prade
W'PONDS
1980
511.3 Dub/Dsa : Discrete structures and automata theory / Rakesh Dube, Adesh Pandey, Ritu Gupta
Discrete structures and automata theory / Rakesh Dube, Adesh Pandey, Ritu Gupta
MELB
2006
511.3 FRA-I : Introduction to proofs in mathematics / James Franklin and Albert Daoud
Introduction to proofs in mathematics / James Franklin and Albert Daoud
MELB
1988
511.3 Fra/Pim : Proof in mathematics : an introduction / James Franklin, Albert Daoud
Proof in mathematics : an introduction / James Franklin, Albert Daoud
W'PONDS
1996
511.3 Fuz : Fuzzy reasoning and its applications / edited by E.H. Mamdani, B.R. Gaines
Fuzzy reasoning and its applications / edited by E.H. Mamdani, B.R. Gaines
W'PONDS
1981
511.3 Gar/Omp : 100% mathematical proof / Rowan Garnier, John Taylor
100% mathematical proof / Rowan Garnier, John Taylor
W'PONDS