511.3 Ham 1988 : Logic for mathematicians / A.G. Hamilton
Logic for mathematicians / A.G. Hamilton
W'PONDS
1988
511.3 Han : Handbook of mathematical logic / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [and others]
Handbook of mathematical logic / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [and others]
W'PONDS
1977
511.3 Han/Lca : Lambda calculi : a guide for computer scientists / Chris Hankin
Lambda calculi : a guide for computer scientists / Chris Hankin
W'PONDS
1994
511.3 Hig/Npa : Nets, puzzles, and postmen : an exploration of mathematical connections / Peter M. Higgins
Nets, puzzles, and postmen : an exploration of mathematical connections / Peter M. Higgins
W'BOOL
2009
511.3 Hof
Gödel, Escher, Bach : an eternal golden braid
MELB, W'PONDS
1979
Godel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter
W'PONDS
1980
Godel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter
W'PONDS
1980
511.3 HOF-G : Gödel, Escher, Bach : an eternal golden braid
Gödel, Escher, Bach : an eternal golden braid
MELB, W'PONDS
1979
511.3 Int/Pot 1991 : Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (PNPM91), December 2-5, 1991, Melbourne, Australia / sponsored by Telecom Australia, in cooperation with IEEE Victorian Section, IEEE Computer Society and ACM Sigmetrics
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (PNPM91), December 2-5, 1991, Melbourne, Australia / sponsored by Telecom Australia, in cooperation with IEEE Victo
W'PONDS
1991
511.3 Inv/Abg 197- : Invicta attribute blocks guide cards / by Derrick Botterill
Invicta attribute blocks guide cards / by Derrick Botterill
WATERFT ADPML
1979
511.3 Inv/Alb JUMBO : Attribute logic blocks : class set / Invicta Plastics
Attribute logic blocks : class set / Invicta Plastics
MELB CRC
1972?
511.3 Iwo/Flo 2003 : Fuzzy logic and applications : 5th international workshop, WILF 2003, Naples, Italy, October 9-11, 2003 ; revised selected papers / Vito Di Gesu, Francesco Masulli, Alfredo Petrosino (eds.)
Fuzzy logic and applications : 5th international workshop, WILF 2003, Naples, Italy, October 9-11, 2003 ; revised selected papers / Vito Di Gesu, Francesco Masulli, Alfredo Petrosino (eds.)
W'PONDS
2006
511.3 Iwo/Flo 2005 : Fuzzy logic and applications : 6th international workshop, WILF 2005, Crema, Italy, September 15-17, 2005 : revised selected papers / Isabelle Bloch, Alfredo Petrosino, Andrea G.B. Tettamanzi (eds.)
Fuzzy logic and applications : 6th international workshop, WILF 2005, Crema, Italy, September 15-17, 2005 : revised selected papers / Isabelle Bloch, Alfredo Petrosino, Andrea G.B. Tettamanzi (eds.)
W'PONDS
2006
511.3 Joh : Discrete mathematics / Richard Johnsonbaugh
Discrete mathematics / Richard Johnsonbaugh
W'PONDS
1984
511.3 Joh 1990 : Discrete mathematics / Richard Johnsonbaugh
Discrete mathematics / Richard Johnsonbaugh
W'PONDS
1990
511.3 Kam : Theory of sets
Theory of sets
W'PONDS
1950
511.3 Kel/Eol
Essence of logic / John J. Kelly
W'PONDS
1997
Essence of logic / John J. Kelly
W'PONDS
1997
Essence of logic / John J. Kelly
W'PONDS
1997
511.3 Kic : Fuzzy theories on decision-making : a critical review / Walter J.M. Kickert
Fuzzy theories on decision-making : a critical review / Walter J.M. Kickert
W'PONDS
1978
511.3 KLE : Mathematical logic / Stephen Cole Kleene
Mathematical logic / Stephen Cole Kleene
W'PONDS
1967
511.3 Kli/Fsa : Fuzzy sets and fuzzy logic : theory and applications / George J. Klir and Bo Yuan
Fuzzy sets and fuzzy logic : theory and applications / George J. Klir and Bo Yuan
W'PONDS
1995
511.3 Kol : Discrete mathematical structures for computer science / Bernard Kolman, Robert C. Busby
Discrete mathematical structures for computer science / Bernard Kolman, Robert C. Busby
W'PONDS
1987
511.3 Kol/Dms 2000 : Discrete mathematical structures
Discrete mathematical structures
MELB
2000
511.3 Kos/Ftt : Fuzzy thinking : the new science of fuzzy logic / Bart Kosko
Fuzzy thinking : the new science of fuzzy logic / Bart Kosko
W'PONDS
1994
511.3 Kri : Introduction to axiomatic set theory. / [Translated by David Miller]
Introduction to axiomatic set theory. / [Translated by David Miller]
W'PONDS
1971
511.3 Lak : Proofs and refutations : the logic of mathematical discovery / Imre Lakatos ; edited by John Worrall and Elie Zahar
Proofs and refutations : the logic of mathematical discovery / Imre Lakatos ; edited by John Worrall and Elie Zahar
W'PONDS
1976
511.3 Lem
Introduction to axiomatic set theory / by E.J. Lemmon
W'PONDS
1969
Beginning logic / E.J. Lemmon
W'PONDS
1965
511.3 Lia/Itk : An introduction to Kolmogorov complexity and its applications / Ming Li, Paul Vitányi
An introduction to Kolmogorov complexity and its applications / Ming Li, Paul Vitányi
W'PONDS
1993
511.3 Lig : Mathematical logic : an introduction to model theory / A. H. Lightstone ; edited by H. B. Enderton
Mathematical logic : an introduction to model theory / A. H. Lightstone ; edited by H. B. Enderton
W'PONDS
1978
511.3 Lip : Schaum's outline of theory and problems of set theory and related topics / by Seymour Lipschutz
Schaum's outline of theory and problems of set theory and related topics / by Seymour Lipschutz
W'PONDS
1964
511.3 Mar : Simplifying set theory : a programmed text / by Robert W. Marks
Simplifying set theory : a programmed text / by Robert W. Marks
W'PONDS
1966
511.3 Mar/Mta : Model theory : an introduction / David Marker
Model theory : an introduction / David Marker
MELB
2002
511.3 Mas : Understanding symbolic logic / Gerald J. Massey
Understanding symbolic logic / Gerald J. Massey
W'PONDS
1970
511.3 Mcl/Ece : Elementary categories, elementary toposes / Colin McLarty
Elementary categories, elementary toposes / Colin McLarty
W'PONDS
1992
511.3 Muk/Flf : Fuzzy logic for beginners / Masao Mukaidono
Fuzzy logic for beginners / Masao Mukaidono
MELB
2001
511.3 Ngu/Fci 1999 : A first course in fuzzy logic / Hung T. Nguyen, Elbert A. Walker
A first course in fuzzy logic / Hung T. Nguyen, Elbert A. Walker
W'PONDS
2000
511.3 Nov/Mpo : Mathematical principles of fuzzy logic / Vilem Novak, Irina Perfilieva and Jiri Mockor
Mathematical principles of fuzzy logic / Vilem Novak, Irina Perfilieva and Jiri Mockor
MELB
1999
511.3 Pap/Cco : Computational complexity / Christos H. Papadimitriou
Computational complexity / Christos H. Papadimitriou
MELB
1994
511.3 Pin : SET THEORY / Charles C. Pinter
SET THEORY / Charles C. Pinter
W'PONDS
1971
511.3 Pla/Eot 2000 : The efficiency of theorem proving strategies : a comparative and asymptotic analysis / David A. Plaisted and Yunshan Zhu
The efficiency of theorem proving strategies : a comparative and asymptotic analysis / David A. Plaisted and Yunshan Zhu
W'PONDS
2000
511.3 Qui : Set theory and its logic / Willard Van Orman Quine
Set theory and its logic / Willard Van Orman Quine
W'PONDS
1969
511.3 Qui/Mlo : Mathematical logic / by Willard Van Orman Quine
Mathematical logic / by Willard Van Orman Quine
W'PONDS
1962
511.3 Ren/Lta : Logic : theory and practice / M.K. Rennie, R.A. Girle
Logic : theory and practice / M.K. Rennie, R.A. Girle
W'PONDS
1973
511.3 Ren/Tol : The theory of lattices
The theory of lattices
W'PONDS
1951
511.3 Reu/Mop : The mathematics of Petri-nets / Christophe Reutenauer ; translated by Iain Craig
The mathematics of Petri-nets / Christophe Reutenauer ; translated by Iain Craig
W'PONDS
1990
511.3 Rob : An introduction to mathematical logic / Gerson B. Robison
An introduction to mathematical logic / Gerson B. Robison
W'PONDS
1969
511.3 Roe : Logic, sets, & numbers / Louis F. Roethel, Abraham Weinstein
Logic, sets, & numbers / Louis F. Roethel, Abraham Weinstein
W'PONDS
1976
511.3 S365M : Mathematical problem solving / Alan H. Schoenfeld
Mathematical problem solving / Alan H. Schoenfeld
MELB, W'PONDS
1985
511.3 Sch/Mps : Mathematical problem solving / Alan H. Schoenfeld
Mathematical problem solving / Alan H. Schoenfeld
MELB, W'PONDS
1985
511.3 Smu : First-order logic
First-order logic
W'PONDS
1968
511.3 SMU-F : Forever undecided : a puzzle guide to Gödel / by Raymond Smullyan
Forever undecided : a puzzle guide to Gödel / by Raymond Smullyan
MELB
1987
511.3 SOL-H2 : How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow
How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow
MELB
1990
511.3 Ste : Mathematical logic with special reference to the natural numbers / S. W. P. Steen
Mathematical logic with special reference to the natural numbers / S. W. P. Steen
W'PONDS
1972
Add Marked to Bag
Add All On Page
Add Marked to My Lists