Mathematical logic

This book provides a thorough and systematic presentation of the foundations of Nonstandard Analysis with applications to economic theory.

This book provides a thorough and systematic presentation of the foundations of Nonstandard Analysis with applications to economic theory.

This monograph treats the theory of Dirichlet forms from a comprehensive point of view, using "e;nonstandard analysis.

H.

Ideal spaces are a very general class of normed spaces of measurable functions, which includes e.

This expanded version of the 1997 European Mathematical Society Lectures given by the author in Helsinki, begins with a self-contained introduction to nonstandard analysis (NSA) and the construction of Loeb Measures, which are rich measures discovered in 1975 by Peter Loeb, using techniques from NSA.

This volume provides a self-contained introduction to some topics in orbit equivalence theory, a branch of ergodic theory.

This textbook is meant for students who have had some prior exposure to quantum mechanics and want to move to the next level.

This textbook is meant for students who have had some prior exposure to quantum mechanics and want to move to the next level.

This book provides a comprehensive overview of different logics from a metainferential standpoint.

Dieses kompakte Vorkurs-Buch erleichtert Studienanfängerinnen und -anfängern den Einstieg in die Hochschulmathematik: Es führt anhand von mehreren ausgewählten Themen an die mathematische Denk- und Arbeitsweise heran, gibt einen Einblick in die Methodik, Herangehensweise und Darstellung, und baut so eine Brücke zwischen Schule und Hochschule.

Dieses kompakte Vorkurs-Buch erleichtert Studienanfängerinnen und -anfängern den Einstieg in die Hochschulmathematik: Es führt anhand von mehreren ausgewählten Themen an die mathematische Denk- und Arbeitsweise heran, gibt einen Einblick in die Methodik, Herangehensweise und Darstellung, und baut so eine Brücke zwischen Schule und Hochschule.

This book provides a comprehensive overview of different logics from a metainferential standpoint.

This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory,.

Finite model theory is an area of mathematical logic that grew out of computer science applications.

This is the first book devoted to the systematic study of sparse graphs and sparse finite structures.

Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems: Command Filtered Backstepping offers a new design solution for students, researchers, and engineers working on distributed cooperative control problems for nonlinear multi-agent systems.

Geschildert wird das Leben und Wirken von Gottlob Frege (1848-1925), einem der größten Denker der Neuzeit, der in Wismar aufwuchs und der später inmitten der kleineren, aber durch bedeutende Gelehrte und Industrielle aufblühenden Universitätsstadt Jena als Mathematikprofessor tätig war.

This first of a two-part volume (Book I) deals with a unit intellectual cultural history of science in the Renaissance within fundamental frameworks.

Healthcare is one of the industries that has embraced and benefitted the most from improved internet connectivity and usage.

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.

This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute wanted outputs from given inputs, and programs that describe continuously executing systems.

Is mathematics free of contradictions?

This is the first book which gives a unified theory for countable and uncountable computable structures.

This text covers topics in algebraic geometry and commutative algebra with careful attention to their practical and computational aspects.

Healthcare is one of the industries that has embraced and benefitted the most from improved internet connectivity and usage.

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany.

This volume contains the papers presented at SAT 2009: 12th International Conference on Theory and Applications of Satis?

This second of a two-part volume (Book II) extends the historical–scientific inquiry of first-part volume (Book I) by considering other specific case studies within cultural, fundamental & technological frameworks.

This second of a two-part volume (Book II) extends the historical–scientific inquiry of first-part volume (Book I) by considering other specific case studies within cultural, fundamental & technological frameworks.

This first of a two-part volume (Book I) deals with a unit intellectual cultural history of science in the Renaissance within fundamental frameworks.

Sin duda, argumentar es una actividad ineludible al hacer matematicas y, por tanto, en las matematicas escolares es fundamental y requiere de una ensenanza deliberada.

This book introduces the category of Cartesian cubical sets and endows it with a Quillen model structure using ideas coming from Homotopy type theory.

Schemata are formal tools for describing inductive reasoning.

This book introduces the category of Cartesian cubical sets and endows it with a Quillen model structure using ideas coming from Homotopy type theory.

This book explains multi-objective optimization as an area of multicriteria decision making that deals with mathematical optimization problems involving more than one objective function that must be optimized simultaneously.

This book explains multi-objective optimization as an area of multicriteria decision making that deals with mathematical optimization problems involving more than one objective function that must be optimized simultaneously.

Schemata are formal tools for describing inductive reasoning.

El estudio de la MV-algebras tiene una gran importancia en el contexto del algebra, ya que, ademas de su relacion con las logicas multivaluadas, tambien se vincula con otros contextos relevantes de este campo, como la teoria de grupos anillos, modulos, topologia y geometria algebraica entre otros.

This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan.

This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan.

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.