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
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
511.3 Sto
Set theory and logic / by Robert R. Stoll
W'PONDS
1963
Sets, logic, and axiomatic theories / by Robert R. Stoll ; drawings by Evan Gillespie
W'PONDS
1961
511.3 Sup : Axiomatic set theory / by Patrick Suppes
Axiomatic set theory / by Patrick Suppes
W'PONDS
1972
511.3 Swa/Lml : Logic : mathematics, language, computer science, and philosophy / by H.C.M. de Swart
Logic : mathematics, language, computer science, and philosophy / by H.C.M. de Swart
MELB
c1994
511.3 Tak : Introduction to axiomatic set theory / G. Takeuti [and] W. M. Zaring
Introduction to axiomatic set theory / G. Takeuti [and] W. M. Zaring
W'PONDS
1971
511.3 Tan/Ait : An introduction to fuzzy logic for practical applications / by Kazuo Tanaka ; translated by Tak Niimura
An introduction to fuzzy logic for practical applications / by Kazuo Tanaka ; translated by Tak Niimura
W'PONDS
1997
511.3 Thi/Atp : Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. McRobbie, and Robert K. Meyer
Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. McRobbie, and Robert K. Meyer
W'PONDS
1988
511.3 Tru/Dmf
Discrete mathematics for computer scientists / J. K. Truss
MELB, W'PONDS
1999
Discrete mathematics for computer scientists / J. K. Truss
MELB, W'PONDS
1999
511.3 Uni : Fuzzy sets and their applications to cognitive and decision processes / edited by Lotfi A. Zadeh [and three others]
Fuzzy sets and their applications to cognitive and decision processes / edited by Lotfi A. Zadeh [and three others]
W'PONDS
1975
511.3 Wag : Computational complexity / by K. Wagner and G. Wechsung
Computational complexity / by K. Wagner and G. Wechsung
W'PONDS
1986
511.3 Wal/Eam : Everything and more : a compact history of [infinity] / David Foster Wallace
Everything and more : a compact history of [infinity] / David Foster Wallace
W'PONDS
2010
511.3 Wic/Hts
How to solve mathematical problems / Wayne A. Wickelgren
W'PONDS
1995
How to solve mathematical problems / Wayne A. Wickelgren
W'PONDS
1995
How to solve mathematical problems / Wayne A. Wickelgren
W'PONDS
1995
How to solve mathematical problems / Wayne A. Wickelgren
W'PONDS
1995
511.3 Win/Dbc : DNA Based Computers V : DIMACS Workshop DNA Based Computers V, June 14-15, 1999, Massachusetts Institute of Technology / Erik Winfree, David K. Gifford, editors
DNA Based Computers V : DIMACS Workshop DNA Based Computers V, June 14-15, 1999, Massachusetts Institute of Technology / Erik Winfree, David K. Gifford, editors
W'PONDS
2000
511.3 Wit/Not : Notebooks, 1914-1916 / by Ludwig Wittgenstein ; edited by G.H. von Wright and G.E.M. Anscombe ; with an English translation by G. E. M. Anscombe
Notebooks, 1914-1916 / by Ludwig Wittgenstein ; edited by G.H. von Wright and G.E.M. Anscombe ; with an English translation by G. E. M. Anscombe
W'PONDS
1961
Add Marked to Bag
Add All On Page
Add Marked to My Lists
