Kategoria BISAC: Mathematics >> Logic

This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw Leśniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsaw school. The author's nuanced survey eschews secondary commentary, analyzing Leśniewski's core philosophical views and evaluating the formulations that were to have such a profound influence on the evolution of mathematical logic.

One of the undisputed leaders of the cohort of brilliant logicians that congregated in Poland in the early twentieth...

The Semantic Web is characterized by the existence of a very large number of distributed semantic resources, which together define a network of ontologies. These ontologies in turn are interlinked through a variety of different meta-relationships such as versioning, inclusion, and many more. This scenario is radically different from the relatively narrow contexts in which ontologies have been traditionally developed and applied, and thus calls for new methods and tools to effectively support the development of novel network-oriented semantic applications.

This book by Suarez-Figueroa...

This text consists of a sequence of problems which develop a variety of aspects in the field of semigroupsof operators. Many of the problems are not found easily in other books. Written in the Socratic/Moore method, this is a problem book without the answers presented. To get the most out of the content requires high motivation from the reader to work out the exercises. The reader is given the opportunity to discover important developments of the subject and to quickly arrive at the point of independent research. The compactness of the volume and the reputation of the author lends this...

Basic Real Analysis demonstrates the richness of real analysis, giving students an introduction both to mathematical rigor and to the deep theorems and counter examples that arise from such rigor. In this modern and systematic text, all the touchstone results and fundamentals are carefully presented in a style that requires little prior familiarity with proofs or mathematical language. With its many examples, exercises and broad view of analysis, this work is ideal for senior undergraduates and beginning graduate students, either in the classroom or for self-study.