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
Annus Mirabilis de Einstein, o - Cinco Artigos Que Revolucionaram a Fisica
John Stachel
Non-Euclidean Geometry
Roberto Bonola
NúMeros: o SimbóLico e o Racional na HistóRia
Iran Abreu Mendes
First Course In Fluid Dynamics, a
A. R. Paterson
QuíMica OrgâNica
Mark Jackson
Cientifica - o Guia Completo do Mundo da Ciencia
Allan R. Glanville
A Vida Secreta do Universo
Nathalie a. Cabrol
Ah, Apanhei-Te!
Martin Gardner
Caixa de Pandora da Matematica , a
Brian Bolt
Valor da Ciencia, o
Henri Poincare
A Geração dos Corpos Organizados em Maupertuis
Mauricio de Carvalho Ramos
Seguidores de Maxwell, os
Bruce J. Hunt
Dicas e recomendações para leitores
Uma estante virtual organiza tudo que você leu, está lendo e quer ler. Veja como montar a sua e quais os benefícios de ter um registro digital das suas leituras.
Ciência confirma: ler regularmente melhora a memória, reduz o estresse e aumenta a empatia. Veja o que a pesquisa diz e como incorporar a leitura na sua rotina.
Ler 50 livros por ano parece impossível? Não para quem adotou os hábitos certos. Descubra as estratégias usadas por leitores vorazes para encaixar mais leitura no dia a dia.
Para escolas, universidades, autores e editoras
