# orderedItems[].object.content
Features open-access contribution by Schröder-Heister on "Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics" https://doi.org/10.1007/978-3-030-7765 7-2_8

# orderedItems[].object.contentMap.en
Features open-access contribution by Schröder-Heister on "Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics" https://doi.org/10.1007/978-3-030-7765 7-2_8

# orderedItems[].object.content
New book on Hilbert's "Axiomatic Thinking" https://doi.org/10.1007/978-3-030-7765 7-2

# orderedItems[].object.contentMap.en
New book on Hilbert's "Axiomatic Thinking" https://doi.org/10.1007/978-3-030-7765 7-2

# orderedItems[].object.content
I posted about it on the bird site already, but I wanted to try out the \( \LaTeX \) rendering on

# orderedItems[].object.contentMap.en
I posted about it on the bird site already, but I wanted to try out the \( \LaTeX \) rendering on

# orderedItems[].object.content
@consequently about time Michel gets some love from the philosophers!

# orderedItems[].object.contentMap.en
@consequently about time Michel gets some love from the philosophers!

# orderedItems[].object.content
And it works although it might be better if it could just post a link to your toot

# orderedItems[].object.contentMap.en
And it works although it might be better if it could just post a link to your toot

# orderedItems[].object.content
The app moa.party will crosspost your mastodon posts to Twitter #xp

# orderedItems[].object.contentMap.en
The app moa.party will crosspost your mastodon posts to Twitter #xp

# orderedItems[].object.content
I'm a logician and historian and philosopher of #logic, #computability, and analytic philosophy. I run https://openlogicproject.org/ #Introduction #philosophy

# orderedItems[].object.contentMap.en
I'm a logician and historian and philosopher of #logic, #computability, and analytic philosophy. I run https://openlogicproject.org/ #Introduction #philosophy