Filter
Matematiske fundament
Filter
This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation. The variety of …
This book introduces readers to the art of doing mathematical proofs. Proofs are the glue that holds mathematics together. They make connections between math concepts and show why …
This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned …
This textbook is a second edition of the successful, Mathematical Logic: On Numbers, Sets, Structures, and Symmetry. It retains the original two parts found in the first edition, …
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, …
Set theory can be rigorously and profitably studied through an intuitive approach, thus independently of formal logic. Nearly every branch of Mathematics depends upon set theory, …
Zu seinen Lebzeiten war Kurt Gödel außerhalb der Fachwelt der Mathematiker, Philosophen und theoretischen Physiker kaum bekannt. Zu Beginn seiner Karriere schuf er beeindruckende …
In China, many excellent students in mathematics take an active part in various mathematical contests, and each year, the best six senior high school students are selected to form …
This is a book about infinity — specifically the infinity of numbers, and how one kind of infinity is greater than all the rest. Along the way the author will demonstrate how …
Topics covered in Discrete Mathematics have become essential tools in many areas of studies in recent years. This is primarily due to the revolution in technology, communications, …