Skip to main content
Springer Nature Link
Log in

Book Reviews

  • Book Reviews
  • Published:
Studia Logica Aims and scope Submit manuscript

    We’re sorry, something doesn't seem to be working properly.

    Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Reference

  1. Negri, S., and J. von Plato, Structural proof theory, Cambridge University Press, 2001.

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, University of Oslo, Postboks 1080, Blindern, 0316, Oslo, Norway

    Roger Antonsen

  2. Department of Mathematics, University of Oslo, P.O. Box 1053, Blindern, 0316, Oslo, Norway

    Andreas Nakkerud

Authors
  1. Roger Antonsen
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Andreas Nakkerud
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Roger Antonsen.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Antonsen, R., Nakkerud, A. Book Reviews. Stud Logica 106, 215–218 (2018). https://doi.org/10.1007/s11225-018-9783-y

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-018-9783-y