Structural Proof Theory - Negri, Sara (University of Helsinki) - Books - Cambridge University Press - 9780521793070 - June 18, 2001
In case cover and title do not match, the title is correct

Structural Proof Theory

Price
Íkr 17,479
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 20 - Aug 3
Get notified about new Negri, Sara (University of Helsinki) releases
Add to your iMusic wish list

Not rated yet

Also available as:

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 developing proofs interactively.


276 pages

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 18, 2001
ISBN13 9780521793070
Publishers Cambridge University Press
Pages 276
Dimensions 160 × 235 × 21 mm   ·   599 g
Language English  

More by Negri, Sara (University of Helsinki)

Show all

More from the same publisher