Dana L Scott

Axiomatic Set Theory

The Journals of Rachel Scott: A Journey of Faith at Columbine High

Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977

Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977

An Introduction to Modal Logic: The Lemmon Notes

Axiomatic Set Theory

Innovative University

The Seventeen Provers of the World

Beginning Cantonese (Critical Languages Series)

Despite the fact that they are spoken by millions of people, languages such as Korean or Turkish are not usually offered in schools or colleges. The Critical Languages Program (CLP) at the University of Arizona was created to meet the need for interactive instruction in these less-commonly-taught la...

Colloquial Cantonese: The Complete Course for Beginners (Colloquial Series)

Colloquial Cantonese: The Complete Course for Beginners has been carefully developed by an experienced teacher to provide a step-by-step course to Cantonese as it is written and spoken today. Combining a clear, practical and accessible style with a methodical and thorough treatment of the language...

Prostate Cancer Screening (The African-American Man's Guide to:)

Early detection is the key, if prostate cancer is found early, you have over a 90% chance of a survival rate. This book was inspired by the award winning DVD documentary, The Silent Killer: Prostate Cancer. We think of this book as a companion piece. This book is for men who may be thinking about go...

Mastering Chinese through Global Debate (Mastering Global Debate)

While language instructors recognize the value of debate as a means of facilitating Advanced- and Superior-level skills, no single advanced Chinese textbook exists that provides level-specific scaffolded language exercises, rhetorical strategies, and topic-specific texts within the context of debate...

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of cho...

Colloquial Cantonese: The Complete Course for Beginners

COLLOQUIAL CANTONESE is easy to use and completely up to date! Specially written by experienced teachers for self-study or class use, the course offers a step-by-step approach to written and spoken Cantonese. No prior knowledge of the language is required. What makes COLLOQUIAL CANTONESE your bes...

The Innovative University

How can a small university like Carnegie Mellon have such a big impact on the world? Ironically, being small is a key reason the university is so prolific. An intimate environment, coupled with an extraordinary ratio of world-class thinkers, has produced a culture of collaboration that may be unmatc...

Colloquial Cantonese: The Complete Course for Beginners

COLLOQUIAL CANTONESE is easy to use and completely up to date! Specially written by experienced teachers for self-study or class use, the course offers a step-by-step approach to written and spoken Cantonese. No prior knowledge of the language is required. What makes COLLOQUIAL CANTONESE your bes...

Dana Scott

Dana Stewart Scott is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logicat Carnegie Mellon University; he is now retired and lives in...