Deakin University / All Locations

Nearby Call Numbers are:

Result Page Prev Next

Add Marked to Bag Add All On Page Add Marked to My Lists
Mark		Medium	Year
	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		2007
	511.3 Del/For : Fuzzy optimization : recent advances / Miguel Delgado ... [and others] (editors)
	Fuzzy optimization : recent advances / Miguel Delgado ... [and others] (editors) W'PONDS		1994
	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		1996
	511.3 Ger/Flm : Fuzzy logic : mathematical tools for approximate reasoning / Giangiacomo Gerla
	Fuzzy logic : mathematical tools for approximate reasoning / Giangiacomo Gerla MELB		2001
	511.3 God : The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory / by Kurt Gödel
	The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory / by Kurt Gödel W'PONDS		1968
	511.3 God.n : Godel's proof / by Ernest Nagel and James R. Newman
	Godel's proof / by Ernest Nagel and James R. Newman W'PONDS		1959
	511.3 Hal : Naive set theory / by Paul R. Halmos
	Naive set theory / by Paul R. Halmos W'PONDS		1974
	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
Add Marked to Bag Add All On Page Add Marked to My Lists

Result Page Prev Next

Brief Display Limit/Sort Search