Resultados de Pesquisa

INGLÊS

A Theory Of Truth

de Yannis (National And Kapodistrian University Of Athens) Stephanou

170,34€ + 10% EM CARTÃO

portes grátis

 The paradoxes about truth are the subject of extensive research. Developing an original approach, this book argues that we should diverge from classical logic and presents a number of formal theories of truth. Also included is a beginner-friendly introduction to semantic paradoxes, and a discussion of alternative non-classical theories.
INGLÊS

A Comparison Process For Mouse Pairs

de John R. (University Of California, Berkeley) Steel

191,97€ + 10% EM CARTÃO

portes grátis

 This book proves some important new theorems in the theory of canonical inner models for large cardinal hypotheses, a topic of central importance in modern set theory. It also contains a good deal of background material, some of it unpublished folklore, making it an accessible introduction to the higher reaches of inner model theory.
INGLÊS

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, And Beyond: Volume 1, Ordered Graphs And Distanced Graphs

de Gregory Cherlin

159,00€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 The first of two volumes presenting the state of the art in the classification of homogeneous structures and related problems in the intersection of model theory, algebra, and combinatorics. It contains a complete classification of homogeneous ordered graphs and a proposed classification of metrically homogeneous graphs.
INGLÊS

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, And Beyond: Volume 2, 3-Multi-Graphs And 2-Multi-Tournaments

de Gregory Cherlin

137,80€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 The second of two volumes presenting the state of the art in the classification of homogeneous structures and related problems in the intersection of model theory and combinatorics. It extends the results of the first volume to generalizations of graphs and tournaments with additional binary relations. An appendix explores open problems.
INGLÊS

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, And Beyond: Volume 1, Ordered Graphs And Distanced Graphs

de Gregory (Rutgers University, New Jersey) Cherlin

154,11€ + 10% EM CARTÃO

portes grátis

 The first of two volumes presenting the state of the art in the classification of homogeneous structures and related problems in the intersection of model theory, algebra, and combinatorics. It contains a complete classification of homogeneous ordered graphs and a proposed classification of metrically homogeneous graphs.
INGLÊS

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, And Beyond: Volume 2, 3-Multi-Graphs And 2-Multi-Tournaments

de Gregory (Rutgers University, New Jersey) Cherlin

140,60€ + 10% EM CARTÃO

portes grátis

 The second of two volumes presenting the state of the art in the classification of homogeneous structures and related problems in the intersection of model theory and combinatorics. It extends the results of the first volume to generalizations of graphs and tournaments with additional binary relations. An appendix explores open problems.
INGLÊS

Complexity Of Infinite-Domain Constraint Satisfaction

de Manuel Bodirsky

182,85€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Introduces the universal-algebraic approach to the complexity classification of constraint satisfaction problems in the finite and infinite-domain cases. Including background material from logic, topology, and combinatorics, it is suitable for graduate students and researchers in theoretical computer science and adjacent areas of mathematics.
INGLÊS

Complexity Of Infinite-Domain Constraint Satisfaction

de Manuel Bodirsky

186,56€ + 10% EM CARTÃO

portes grátis

 Introduces the universal-algebraic approach to the complexity classification of constraint satisfaction problems in the finite and infinite-domain cases. Including background material from logic, topology, and combinatorics, it is suitable for graduate students and researchers in theoretical computer science and adjacent areas of mathematics.
INGLÊS

Algorithmic Randomness - Progress And Prospects

181,53€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This volume surveys many exciting recent developments in the field of algorithmic randomness and its interactions with other areas of mathematics, presenting a unified view of the theory. It will be a valuable reference for specialists and an excellent entry point for graduate students and other newcomers to the field.
INGLÊS

Large Cardinals, Determinacy And Other Topics - The Cabal Seminar, Volume Iv

154,11€ + 10% EM CARTÃO

portes grátis

 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 extensive unpublished material, new papers on related topics, and discussion of research developments since the publication of the original volumes.
INGLÊS

Algorithmic Randomness - Progress And Prospects

185,21€ + 10% EM CARTÃO

portes grátis

 This volume surveys many exciting recent developments in the field of algorithmic randomness and its interactions with other areas of mathematics, presenting a unified view of the theory. It will be a valuable reference for specialists and an excellent entry point for graduate students and other newcomers to the field.
INGLÊS

Abstract Recursion And Intrinsic Complexity

de Yiannis N. Moschovakis

160,33€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 The author presents and applies a new framework for studying the complexity of algorithms. The book is aimed at logicians, computer scientists, mathematicians and philosophers who are interested in the theory of computation and its foundations. It includes an accessible introduction to abstract recursion theory and contains over 250 problems.
INGLÊS

Reflections On The Foundations Of Mathematics - Essays In Honor Of Solomon Feferman

112,63€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifteenth publication in the Lecture Notes in Logic series, collects papers presented at the symposium ''Reflections on the Foundations of Mathematics'' held in celebration of Solomon Feferman''s 70th birthday (The ''Feferfest'') at Stanford University, California in 1988. Feferman has shaped the field of foundational research for nearly half a century. These papers reflect his broad interests as well as his approach to foundational research, which emphasizes the solution of mathematical and philosophical problems. There are four sections, covering proof theoretic analysis, logic and computation, applicative and self-applicative theories, and philosophy of modern mathematical and logic thought.
INGLÊS

Logic Colloquium 2000

106,00€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the nineteenth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Paris, France in July 2000. This meeting marked the centennial anniversary of Hilbert''s famous lecture and was held in the same hall at La Sorbonne where Hilbert presented his problems. Three long articles, based on tutorials given at the meeting, present accessible expositions of developing research in model theory, computability, and set theory. The eleven subsequent papers present work from the research frontier in all areas of mathematical logic.
INGLÊS

Logic Colloquium '01

119,25€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twentieth publication in the Lecture Notes in Logic series, contains the proceedings of the 2001 European Summer Meeting of the Association for Symbolic Logic, held at the Vienna University of Technology. Two long articles present accessible expositions on resolution theorem proving and the determinacy of long games. The remaining articles cover separate research topics in many areas of mathematical logic, including applications in computer science, proof theory, set theory, model theory, computability theory, linguistics and aspects of philosophy. This collection will interest not only mathematical logicians but also philosophical logicians, historians of logic, computer scientists, formal linguists and mathematicians working in algebra, abstract analysis and topology.
INGLÊS

Logicism Renewed - Logical Foundations For Mathematics And Computer Science

de Paul C. Gilmore

79,50€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In this volume, the twenty-third publication in the Lecture Notes in Logic series, Paul C. Gilmore revisits logicism in light of recent advances in mathematical logic and theoretical computer science. Gilmore addresses the need for languages which can be understood by both humans and computers and, using Intensional Type Theory (ITT), provides a unified basis for mathematics and computer science. This yields much simpler foundations for recursion theory and the semantics of computer programs than those currently provided by category theory.
INGLÊS

Logic In Tehran

99,38€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-sixth publication in the Lecture Notes in Logic series, contains the proceedings of the ''Workshop and Conference on Logic, Algebra and Arithmetic'' held at the Institute for Studies in Theoretical Physics and Mathematics (IPM) in Tehran, Iran in October, 2003. These papers are mostly revised and expanded versions of those that were originally presented at the meeting and address all areas of mathematical logic. The book also includes a short history of mathematical logic in Iran.
INGLÊS

Notre Dame Lectures

72,88€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In the fall of 2000, the logic community at the University of Notre Dame, Indiana hosted Greg Hjorth, Rodney G. Downey, Zoé Chatzidakis and Paola D''Aquino as visiting lecturers. Each of them presented a month-long series of expository lectures at the graduate level. This volume, the eighteenth publication in the Lecture Notes in Logic series, contains refined and expanded versions of those lectures. The four articles are entitled ''Countable models and the theory of Borel equivalence relations'', ''Model theory of difference fields'', ''Some computability-theoretic aspects of reals and randomness'' and ''Weak fragments of Peano arithmetic''.
INGLÊS

Inexhaustibility - A Non-Exhaustive Treatment

de Torkel Franzen

92,75€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixteenth publication in the Lecture Notes in Logic series, gives a sustained presentation of a particular view of the topic of Gödelian extensions of theories. It presents the basic material in predicate logic, set theory and recursion theory, leading to a proof of Gödel''s incompleteness theorems. The inexhaustibility of mathematics is treated based on the concept of transfinite progressions of theories as conceived by Turing and Feferman. All concepts and results are introduced as needed, making the presentation self-contained and thorough. Philosophers, mathematicians and others will find the book helpful in acquiring a basic grasp of the philosophical and logical results and issues.
INGLÊS

Reverse Mathematics 2001

106,00€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. Reverse mathematics is a program of research in the foundations of mathematics, motivated by two foundational questions: ''what are appropriate axioms for mathematics?'' and ''what are the logical strengths of particular axioms and particular theorems?'' This volume, the twenty-first publication in the Lecture Notes in Logic series, contains twenty-four original research papers from respected authors that present exciting new developments in reverse mathematics and subsystems of second order arithmetic since 1998.
INGLÊS

Intensionality

86,13€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-second publication in the Lecture Notes in Logic series, will launch a discussion about the concept of intensionality in philosophy, logic, linguistics and mathematics. These articles grew out of a workshop held at the University of Munich in October, 2000. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted to technical aspects of modal logic. The volume highlights the particular interdisciplinary nature of intensionality with articles spanning philosophy, linguistics, mathematics and computer science.
INGLÊS

Logic Colloquium '02

99,38€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-seventh publication in the Lecture Notes in Logic series, contains the proceedings of two conferences: the European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany in August, 2002. This compilation of articles from some of the world''s preeminent logicians spans all areas of mathematical logic, including philosophical logic and computer science logic. It contains expanded versions of a number of invited plenary talks and tutorials that will be of interest to graduate students and researchers in the field of mathematical logic.
INGLÊS

Nonstandard Methods And Applications In Mathematics

79,50€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-fifth publication in the Lecture Notes in Logic series, grew from a conference on Nonstandard Methods and Applications in Mathematics held in Pisa, Italy from 12-16 June, 2002. It contains ten peer-reviewed papers that aim to provide something more timely than a textbook, but less ephemeral than a conventional proceedings. Nonstandard analysis is one of the great achievements of modern applied mathematical logic. These articles consider the foundations of the subject, as well as its applications to pure and applied mathematics and mathematics education.
INGLÊS

Model Theory Of Stochastic Processes

de H. Jerome Keisler e Sergio Fajardo

66,25€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the fourteenth publication in the Lecture Notes in Logic series, Fajardo and Keisler present new research combining probability theory and mathematical logic. It is a general study of stochastic processes using ideas from model theory, a key central theme being the question, ''When are two stochastic processes alike?'' The authors assume some background in nonstandard analysis, but prior knowledge of model theory and advanced logic is not necessary. This volume will appeal to mathematicians willing to explore new developments with an open mind.
A carregar resultados...

Ver mais resultados