Sökt på: Sökresultat
totalt 8 träffar
Structural Proof Theory
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the …
Proof Analysis
This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary …
Elements of Logical Reasoning
Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the …
Proof Analysis
This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary …
Creating Modern Probability
This is the only book to chart the history and development of modern probability theory. It shows how in the first thirty years of this century probability theory became a …
Creating Modern Probability
This is the only book to chart the history and development of modern probability theory. It shows how in the first thirty years of this century probability theory became a …
Elements of Logical Reasoning
Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the …
Creating Modern Probability
This is the only book to chart the history and development of modern probability theory. It shows how in the first thirty years of this century probability theory became a …