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   Year Entries
511.3 Han/Lca : Lambda calculi : a guide for computer scientists / Chris Hankin  1994 1
511.3 Hig/Npa : Nets, puzzles, and postmen : an exploration of mathematical connections / Peter M. Higgins  2009 1
511.3 Hof   3
511.3 HOF-G : Gödel, Escher, Bach : an eternal golden braid  1979 1
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  1991 1
511.3 Inv/Abg 197- : Invicta attribute blocks guide cards / by Derrick Botterill  1979 1
511.3 Inv/Alb JUMBO : Attribute logic blocks : class set / Invicta Plastics  1972? 1
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.)  2006 1
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.)  2006 1
511.3 Joh : Discrete mathematics / Richard Johnsonbaugh  1984 1
511.3 Joh 1990 : Discrete mathematics / Richard Johnsonbaugh  1990 1
511.3 Kam : Theory of sets  1950 1
511.3 Kel/Eol   3
511.3 Kic : Fuzzy theories on decision-making : a critical review / Walter J.M. Kickert  1978 1
511.3 KLE : Mathematical logic / Stephen Cole Kleene  1967 1
511.3 Kli/Fsa : Fuzzy sets and fuzzy logic : theory and applications / George J. Klir and Bo Yuan  1995 1
511.3 Kol : Discrete mathematical structures for computer science / Bernard Kolman, Robert C. Busby  1987 1
511.3 Kol/Dms 2000 : Discrete mathematical structures  2000 1
511.3 Kos/Ftt : Fuzzy thinking : the new science of fuzzy logic / Bart Kosko  1994 1
511.3 Kri : Introduction to axiomatic set theory. / [Translated by David Miller]  1971 1
511.3 Lak : Proofs and refutations : the logic of mathematical discovery / Imre Lakatos ; edited by John Worrall and Elie Zahar  1976 1
511.3 Lem   2
511.3 Lia/Itk : An introduction to Kolmogorov complexity and its applications / Ming Li, Paul Vitányi  1993 1
511.3 Lig : Mathematical logic : an introduction to model theory / A. H. Lightstone ; edited by H. B. Enderton  1978 1
511.3 Lip : Schaum's outline of theory and problems of set theory and related topics / by Seymour Lipschutz  1964 1
511.3 Mar : Simplifying set theory : a programmed text / by Robert W. Marks  1966 1
511.3 Mar/Mta : Model theory : an introduction / David Marker  2002 1
511.3 Mas : Understanding symbolic logic / Gerald J. Massey  1970 1
511.3 Mcl/Ece : Elementary categories, elementary toposes / Colin McLarty  1992 1
511.3 Muk/Flf : Fuzzy logic for beginners / Masao Mukaidono  2001 1
511.3 Ngu/Fci 1999 : A first course in fuzzy logic / Hung T. Nguyen, Elbert A. Walker  2000 1
511.3 Nov/Mpo : Mathematical principles of fuzzy logic / Vilem Novak, Irina Perfilieva and Jiri Mockor  1999 1
511.3 Pap/Cco : Computational complexity / Christos H. Papadimitriou  1994 1
511.3 Pin : SET THEORY / Charles C. Pinter  1971 1
511.3 Pla/Eot 2000 : The efficiency of theorem proving strategies : a comparative and asymptotic analysis / David A. Plaisted and Yunshan Zhu  2000 1
511.3 Qui : Set theory and its logic / Willard Van Orman Quine  1969 1
511.3 Qui/Mlo : Mathematical logic / by Willard Van Orman Quine  1962 1
511.3 Ren/Lta : Logic : theory and practice / M.K. Rennie, R.A. Girle  1973 1
511.3 Ren/Tol : The theory of lattices  1951 1
511.3 Reu/Mop : The mathematics of Petri-nets / Christophe Reutenauer ; translated by Iain Craig  1990 1
511.3 Rob : An introduction to mathematical logic / Gerson B. Robison  1969 1
511.3 Roe : Logic, sets, & numbers / Louis F. Roethel, Abraham Weinstein  1976 1
511.3 S365M : Mathematical problem solving / Alan H. Schoenfeld  1985 1
511.3 Sch/Mps : Mathematical problem solving / Alan H. Schoenfeld  1985 1
511.3 Smu : First-order logic  1968 1
511.3 SMU-F : Forever undecided : a puzzle guide to Gödel / by Raymond Smullyan  1987 1
511.3 SOL-H2 : How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow  1990 1
511.3 Ste : Mathematical logic with special reference to the natural numbers / S. W. P. Steen  1972 1
511.3 Sto   2
511.3 Sup : Axiomatic set theory / by Patrick Suppes  1972 1
Add Marked to Bag Add All On Page Add Marked to My Lists
Result Page   Prev Next