Brief Display Limit/Sort Search
     
Limit search to available items
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.2078 Koj : Advanced abacus; Japanese theory and practice     
      Advanced abacus; Japanese theory and practice W'PONDS  Book 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  Book 1992
511.3 Adv    
      Advances in fuzzy set theory and applications / edited by Madan M. Gupta, associate editors, Rammohan K. Ragade, Ronald R. Yager W'PONDS  Book 1979
      Mathematical logic and its applications / edited by Dimiter G. Skordev W'PONDS  Book 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  Book 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  Book 1974
511.3 Bal/Flo : Fuzzy logic / edited by J.F. Baldwin     
      Fuzzy logic / edited by J.F. Baldwin MELB  Book 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  Book 1984
511.3 Ben/Mlf 2001 : Mathematical logic for computer science / Mordechai Ben-Ari     
      Mathematical logic for computer science / Mordechai Ben-Ari W'PONDS  Book 2001
511.3 Bet/Fma : Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic     
      Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic W'PONDS  Book 1962
511.3 Bib/Atp 1987 : Automated theorem proving / Wolfgang Bibel     
      Automated theorem proving / Wolfgang Bibel W'PONDS  Book 1987
511.3 Bit : Logic and proof / Marvin L. Bittinger     
      Logic and proof / Marvin L. Bittinger W'PONDS  Book 1970
511.3 Boo : An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities / George Boole     
      An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities / George Boole W'PONDS  Book 1958
511.3 Boo 1989 : Computability and logic / George S. Boolos, Richard C. Jeffrey     
      Computability and logic / George S. Boolos, Richard C. Jeffrey W'PONDS  Book 1989
511.3 Bov/Itt : Introduction to the theory of complexity / Daniel Pierre Bovet and Pierluigi Crescenzi     
      Introduction to the theory of complexity / Daniel Pierre Bovet and Pierluigi Crescenzi MELB  Book 1994
511.3 Bro : Laws of form / G. Spencer Brown     
      Laws of form / G. Spencer Brown W'PONDS  Book 1969
511.3 Bro/Aop 2005 : The art of problem posing / Stephen I. Brown, Marion I. Walter     
      The art of problem posing / Stephen I. Brown, Marion I. Walter W'PONDS  Book 2005
511.3 Bun : Mathematical fallacies and paradoxes / Bryan H. Bunch     
      Mathematical fallacies and paradoxes / Bryan H. Bunch W'PONDS  Book 1982
511.3 Car    
      Logical foundations of probability / Rudolf Carnap W'PONDS  Book 1962
      Symbolic logic and The game of logic / by Lewis Carroll W'PONDS  Book 1958
511.3 Cha/Era : Exploring randomness / Gregory J. Chaitin     
      Exploring randomness / Gregory J. Chaitin W'PONDS  Book 2001
511.3 Cho/Itd : Introduction to discrete mathematics / Koo-Guan Choo and Donald E. Taylor     
      Introduction to discrete mathematics / Koo-Guan Choo and Donald E. Taylor W'PONDS  Book 1994
511.3 Cup/Nab 2001 : The nuts and bolts of proofs / Antonella Cupillari     
      The nuts and bolts of proofs / Antonella Cupillari W'PONDS  Book 2001
511.3 Dav : Computability & unsolvability / Martin Davis     
      Computability & unsolvability / Martin Davis W'PONDS  Book 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  Book 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  Book 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  Book 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  Book 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  Book 1990
511.3 Din : Introduction to mathematical logic / F. Dinkines     
      Introduction to mathematical logic / F. Dinkines W'PONDS  Book 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  Book 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  Book 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  Book 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  Book 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  Book 1981
511.3 Gar/Omp : 100% mathematical proof / Rowan Garnier, John Taylor     
      100% mathematical proof / Rowan Garnier, John Taylor W'PONDS  Book 1996
511.3 Ger/Flm : Fuzzy logic : mathematical tools for approximate reasoning / Giangiacomo Gerla     
      Fuzzy logic : mathematical tools for approximate reasoning / Giangiacomo Gerla MELB  Book 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  Book 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  Book 1959
511.3 Hal : Naive set theory / by Paul R. Halmos     
      Naive set theory / by Paul R. Halmos W'PONDS  Book 1974
511.3 Ham 1988 : Logic for mathematicians / A.G. Hamilton     
      Logic for mathematicians / A.G. Hamilton W'PONDS  Book 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  Book 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  Book 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  Book 2009
511.3 Hof    
      Gödel, Escher, Bach : an eternal golden braid MELB, W'PONDS   Book 1979
      Godel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter W'PONDS  Book 1980
      Godel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter W'PONDS  Book 1980
511.3 HOF-G : Gödel, Escher, Bach : an eternal golden braid     
      Gödel, Escher, Bach : an eternal golden braid MELB, W'PONDS   Book 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  Book 1991
511.3 Inv/Abg 197- : Invicta attribute blocks guide cards / by Derrick Botterill     
      Invicta attribute blocks guide cards / by Derrick Botterill WATERFT ADPML  Book 1979
511.3 Inv/Alb JUMBO : Attribute logic blocks : class set / Invicta Plastics     
      Attribute logic blocks : class set / Invicta Plastics MELB CRC  Realia 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  Book 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  Book 2006
511.3 Joh : Discrete mathematics / Richard Johnsonbaugh     
      Discrete mathematics / Richard Johnsonbaugh W'PONDS  Book 1984
Add Marked to Bag Add All On Page Add Marked to My Lists
Result Page   Prev Next
Brief Display Limit/Sort Search