Filter
Matematikens grunder
Filter
Philosophy of Mathematics is understood, in this book, as an effort to clarify such questions that mathematics itself raises but cannot answer with its own methods. These include, …
This contributed volume overviews recently presented approaches for carrying out QSPR/QSAR analysis by using a simplifying molecular input-line entry system (SMILES) to represent …
This book gathers invited, peer-reviewed works presented at the 2021 edition of the Classical and Constructive Nonassociative Algebraic Structures: Foundations and …
This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this …
Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should …
This contributed volume collects papers related to the Logic in Question workshop, which has taken place annually at Sorbonne University in Paris since 2011. Each year, the …
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third Tsinghua Interdisciplinary …
This revised edition of the highly recommended book "e;First-Order Modal Logic"e;, originally published in 1998, contains both new and modified chapters reflecting the …
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical …
Drawing a line, and then another, and another. Go back from the lines to the movements they capture and see gestures in them: not spatial displacements, but modes of knowledge that …