Structural Proof Theory

Name: Structural Proof Theory
Brand: Cambridge University Press
SKU: 2197571
Author: Sara (University of Helsinki) Negri

Sara (University of Helsinki) Negri, Jan (University of Helsinki) von Plato

Cambridge University Press

Knihu koupíte v 1 e-shopu

Bookshop.cz

1 375 Kč

Není skladem

Do obchodu

a 1 další varianta

Krátký popis

Structural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a work of research that will be of interest to specialists. A special feature is a downloadable computer program for…

Zobrazit celý popis

Výběr knih autorů Sara (University of Helsinki) Negri , Jan (University of Helsinki) von Plato