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