Shopping Cart
itemsitem
$29.95
The Categorial Analysis of Logic
A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Its approach moves always from the particular to the general, following through the steps of the abstraction process until the abstract concept emerges naturally$93.59
Proceedings of the 12th Asian Logic Conference
The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic.Contents:Resolute Sequences in Initial Segment Complexity (G Barmpalias and R G Downey)Approximating Functions and$170.09
Foundational Theories of Classical and Constructive Mathematics
The Western Ontario Series in Philosophy of Science (Book #76)
The book "Foundational Theories of Classical and Constructive Mathematics" is a book on the classical topic of foundations of mathematics. Its originality resides mainly in its treating at the same time foundations of classical and foundations of constructive mathematics. This confrontation of two kinds of foundations contributes to answering questions such as: Are foundations/foundational$98.09
Mathematics, Computer Science and Logic - A Never Ending Story
The Bruno Buchberger Festschrift
This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come. The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of