The nuts and bolts of proofs / Antonella Cupillari
BONUS, W'PONDS

2001

511.3 Dav : Computability & unsolvability / Martin Davis

Computability & unsolvability / Martin Davis
BONUS, 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
BONUS, 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

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
BONUS, 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
BONUS, W'PONDS

1990

511.3 Din : Introduction to mathematical logic / F. Dinkines

Introduction to mathematical logic / F. Dinkines
BONUS, 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
BONUS, 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
BONUS, 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
BONUS, MELB

1988

511.3 Fra/Pim : Proof in mathematics : an introduction / James Franklin, Albert Daoud

Proof in mathematics : an introduction / James Franklin, Albert Daoud
BONUS, 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
BONUS, W'PONDS

1981

511.3 Gar/Omp : 100% mathematical proof / Rowan Garnier, John Taylor

100% mathematical proof / Rowan Garnier, John Taylor
BONUS, W'PONDS

Gödel, Escher, Bach : an eternal golden braid
BONUS, MELB, W'PONDS

1979

Godel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter
BONUS, W'PONDS

1980

Godel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter
BONUS, W'PONDS

1980

511.3 HOF-G : Gödel, Escher, Bach : an eternal golden braid

Gödel, Escher, Bach : an eternal golden braid
BONUS, 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
BONUS, W'PONDS