Mathematical Logic in the 20th Century
This invaluable book is a collection of 31 important -- both in ideas and results -- papers published by mathematical logicians in the 20th Century. The papers have been selected by Professor Gerald E Sacks. Some of the authors are Godel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin.
What is Mathematical Logic?
This introduction to the main ideas and results of mathematical logic is a serious treatment geared toward non-logicians. Starting with a historical s...
Mathematical Logic and the Foundations of Mathematics
This introduction to mathematical logic and the philosophy of mathematics is based on courses of lectures given in the University of London, and atten...
Mathematical Logic for Computer Science
Описание: Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the...
Logical Labyrinths
This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common languag...
The Rise of Modern China (20th Century Perspectives)
This book examines one of the most significant periods of political development in the 20th Century. Readers will learn: who Mao Zedong was; what the...
