for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Papers examining aspects of Godel's work gathered from a symposium celebrating Gödel's centennial and papers from a 2004 ASL symposium.
Bemærk: Kan ikke leveres før jul.
Highlights of this volume from the 2004 meeting include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational... Læs mere
Bemærk: Kan ikke leveres før jul.
Large Cardinals, Determinacy and Other Topics is the last in a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar' with... Læs mere
Bemærk: Kan ikke leveres før jul.
Category theory reveals commonalities between structures of all sorts. This self-contained tour of applied category theory... Læs mere
Bemærk: Kan ikke leveres før jul.
Professor Merrie Bergmann presents an accessible introduction to the subject of many-valued and fuzzy logic... Læs mere
Bemærk: Kan ikke leveres før jul.
Professor Merrie Bergmann presents an accessible introduction to the subject of many-valued and fuzzy logic... Læs mere
Bemærk: Kan ikke leveres før jul.
Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic, an exciting logical formalism at... Læs mere
Bemærk: Kan ikke leveres før jul.
In this innovative and largely self-contained textbook, Jonathan Kirby brings model theory to an undergraduate audience. The highlights of basic model theory are illustrated... Læs mere
Bemærk: Kan ikke leveres før jul.
Practical argumentation is intelligent reasoning from an agent's goals and known circumstances, and from an action selected as a means, to arrive at a decision on... Læs mere
Bemærk: Kan ikke leveres før jul.
Practical argumentation is intelligent reasoning from an agent's goals and known circumstances, and from an action selected as a means, to arrive at a decision on... Læs mere
Bemærk: Kan ikke leveres før jul.
Games, Scales, and Suslin Cardinals is the first of a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar'... Læs mere
Bemærk: Kan ikke leveres før jul.
Though descriptive set theory and definable proper forcing are two areas of set theory that developed quite independently of each other, there are deep connections to be made between... Læs mere