Shopping Cart
You're getting the VIP treatment!
With the purchase of Kobo VIP Membership, you're getting 10% off and 2x Kobo Super Points on eligible items.
itemsitem
$23.99
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Now in a new edition!--the classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with$22.79
The Foundations of Mathematics
The transition from school mathematics to university mathematics is seldom straightforward. Students are faced with a disconnect between the algorithmic and informal attitude to mathematics at school, versus a new emphasis on proof, based on logic, and a more abstract development of general concepts, based on set theory. The authors have many years' experience of the potential difficulties$40.79
Cambridge Mathematical Textbooks
Set theory is a rich and beautiful subject whose fundamental concepts permeate virtually every branch of mathematics. One could say that set theory is a unifying theory for mathematics, since nearly all mathematical concepts and results can be formalized within set theory. This textbook is meant for an upper undergraduate course in set theory. In this text, the fundamentals of abstract sets,$2.99
Esercizi di matematica: teoria degli insiemi e funzioni
In questo libro sono svolti degli esercizi riguardo i seguenti argomenti matematici: teoria degli insiemi funzioni e proprietà delle funzioni Sono altresì presentati dei cenni teorici iniziali per fare comprendere lo svolgimento degli esercizi.$58.49
An Introduction to University Mathematics
Algebra & Geometry: An Introduction to University Mathematics provides a bridge between high school and undergraduate mathematics courses on algebra and geometry. The author shows students how mathematics is more than a collection of methods by presenting important ideas and their historical origins throughout the text. He incorporates a hands-on approach to proofs and connects algebra and$337.49
Handbook of Research on Generalized and Hybrid Set Structures and Applications for Soft Computing
Successful development of effective computational systems is a challenge for IT developers across sectors due to uncertainty issues that are inherently present within computational problems. Soft computing proposes one such solution to the problem of uncertainty through the application of generalized set structures including fuzzy sets, rough sets, and multisets. The Handbook of Research on$29.95
Mathematics: The Man-Made Universe
Anyone can appreciate the beauty, depth, and vitality of mathematics with the help of this highly readable text, specially developed from a college course designed to appeal to students in a variety of fields. Readers with little mathematical background are exposed to a broad range of subjects chosen from number theory, topology, set theory, geometry, algebra, and analysis. Starting with a survey$51.99
Algebra & Geometry: An Introduction to University Mathematics
Algebra & Geometry: An Introduction to University Mathematics provides a bridge between high school and undergraduate mathematics courses on algebra and geometry. The author shows students how mathematics is more than a collection of methods by presenting important ideas and their historical origins throughout the text. He incorporates a hands-on approach to proofs and connects algebra and$118.99
Ordinal Definability and Recursion Theory: Volume 3
Lecture Notes in Logic (Book 43)
The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Ordinal Definability and Recursion Theory is the third in a series of four books collecting the seminal papers from the original volumes together with extensive unpublished material, new papers on related topics and discussion of research developments since the publication of the$64.79
Forcing, Iterated Ultrapowers, and Turing Degrees
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics covered set theory and recursion theory, with particular emphasis on forcing, inner model theory and Turing degrees, offering a wide overview of ideas and techniques introduced in contemporary research$85.49
Proceedings of the 13th Asian Logic Conference
This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians and also some contributions in computer science logics and philosophic logics.Contents:An Analogy Between Cardinal Characteristics and Highness Properties of Oracles (Jörg Brendle, Andrew Brooke-Taylor,