Best of
Logic

1986

Kurt Gödel Collected Works Volume I: Publications 1929-1936


Kurt Gödel - 1986
    The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentially of G�del's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and to individual articles and other material, commenting upon their contents and placing them within a historical framework. This long-awaited project is of great significance to logicians, mathematicians, philosophers and historians.

The Lady or the Tiger? & The Discourager of Hesitancy


Claudia Carlson - 1986
    Each book in the series has been designed with today's young reader in mind. As the words come to life, students will develop a lasting appreciation for great literature.The humor of Mark Twain...the suspense of Edgar Allan Poe...the danger of Jack London...the sensitivity of Katherine Mansfield. Creative Short Stories has it all and will prove to be a welcome addition to any library.

Thinking Recursively


Eric S. Roberts - 1986
    Thinking Recursively: A small text to solve large problems. Concentrating on the practical value of recursion. this text, the first of its kind, is essential to computer science students' education. In this text, students will learn the concept and programming applications of recursive thinking. This will ultimately prepare students for advanced topics in computer science such as compiler construction, formal language theory, and the mathematical foundations of computer science. Key Features:Concentration on the practical value of recursion. Eleven chapters emphasizing recursion as a unified concept. Extensive discussion of the mathematical concepts which help the students to develop an appropriate conceptual model. Large number of imaginative examples with solutions. Large sets of exercises.This is the 1980s original, with examples in Pascal. A 2000s version, using Java, is listed as a separate book.