↓ Skip to main content
What is this page? Embed badge

Axiomatic Thinking I

Overview of attention for book
Cover of 'Axiomatic Thinking I'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 2 Hilbert’s Axiomatisches Denken
  3. Altmetric Badge
    Chapter 3 Scope and Limits of Axiomatics
  4. Altmetric Badge
    Chapter 4 The Semantic Function of the Axiomatic Method
  5. Altmetric Badge
    Chapter 5 Aristotle’s Relations: An Interpretation in Combinatory Logic
  6. Altmetric Badge
    Chapter 6 The Two Sides of Modern Axiomatics: Dedekind and Peano, Hilbert and Bourbaki
  7. Altmetric Badge
    Chapter 7 Notes for a Seminar in Axiomatic Reasoning
  8. Altmetric Badge
    Chapter 8 Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
  9. Altmetric Badge
    Chapter 9 Proofs as Objects
  10. Altmetric Badge
    Chapter 10 Where Do Axioms Come From?
  11. Altmetric Badge
    Chapter 11 Panel Discussion on the Foundations of Mathematics
Attention for Chapter 9: Proofs as Objects
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Proofs as Objects
Chapter number 9
Book title
Axiomatic Thinking I
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-030-77657-2_9
Book ISBNs
978-3-03-077656-5, 978-3-03-077657-2
Authors

Sieg, Wilfried

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

This page is provided by Altmetric.