Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
The monograph is a 'de-construction' of Kurt Godel's Incompleteness Theorem's paradox sentence's used to prove that no formal systems of logic or mathematics... Læs mere
Bemærk: Kan ikke leveres før jul.
The theory set out in this volume is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion... Læs mere
Bemærk: Kan ikke leveres før jul.
In this volume the authors bring together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers on advanced topics in model theory. Many chapters can be read independently.
Bemærk: Kan leveres før jul.
This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist,... Læs mere
Bemærk: Kan ikke leveres før jul.
This concise introduction takes the reader from standard notions to more advanced topics. It introduces the classic results, as well as more recent developments in this vibrant... Læs mere
Bemærk: Kan ikke leveres før jul.
In this book Juliette Kennedy presents an original perspective on foundations of mathematics. Departing from Gödel... Læs mere
Bemærk: Kan ikke leveres før jul.
Wadge Degrees and Projective Ordinals is the second of a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal... Læs mere
Bemærk: Kan ikke leveres før jul.
Examines the relations between logic and philosophy over the last 150 years. This mathematical and philosophical movement created the analytical style of philosophy. This book is... Læs mere
Bemærk: Kan ikke leveres før jul.
This book is a self-contained, up-to-date introduction to simple theories and the model theory of hyperimaginaries, with special attention to Lascar strong types and... Læs mere
Bemærk: Kan ikke leveres før jul.
This book addresses a gap in the model-theoretic understanding of valued fields that had limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory.
Bemærk: Kan ikke leveres før jul.
Develops new semantical characterisations of many logical systems with quantification that are... Læs mere