Crie uma conta gratuita e continue exatamente desta página.
Crie uma conta gratuita e continue exatamente desta página.
'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 central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
Outros livros de Jan Von | Negri Sara Plato
Livros na mesma categoria
Extraterrestrials
Hart & Bourne
Probability, Random Signals And Statistics
X. Rong Li
Problems In Probability Theory, Mathematical Stati
A.a. Sveshnikov
On Physics And Philosophy
Bernard D'Espagnat
Levy Processes
Jean Bertoin
Second Course In Mathematical Analysis, a
J. C. Burkill
Introduction To Multivariate Statistical Analysis, An
T.W. Anderson
Nonlinear Semigroups, Fixed Points, And Geometry Of Domains In Banach Spaces
Simeon | Shoikhet David Reich
Fundamentals Of Modern Statistical Methods - Substantially Improving Power And Accuracy
Rand R. Wilcox
New Introduction To Multiple Time Series Analysis
Helmut Lutkepohl
Knowledge From The Stars
Wesley H. Bateman
A HistóRia da CiêNcia para Quem Tem Pressa
Nicola | Ardle Meredith Mac Chalton
Dicas e recomendações para leitores
Um bom clube de leitura transforma leitores solitários em uma comunidade. Guia completo para criar, organizar e manter um clube que as pessoas realmente frequentem.
Da Jane Austen ao romance brasileiro contemporâneo, o gênero que mais vende e mais une pessoas ao redor de histórias de amor. Uma seleção para quem quer sentir tudo.
Da fantasia épica ao realismo mágico, o gênero tem algo para cada tipo de leitor. Uma seleção dos livros que mais transportam, encantam e viciam, do iniciante ao veterano.
Para escolas, universidades, autores e editoras
