Proof theory and intuitionistic systems

View on Open Library

Proof theory and intuitionistic systems

by Bruno Scarpellini

No reviews yet

First published: 1971 1 language ISBN: 9780387055411

Subjects

Intuitionistic mathematics Proof theory

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Bruno Scarpellini

Selecta

Proof theory and intuitionistic systems

Proof theory and intuitionistic systems

Stability, instability, and direct integrals

Stability, instability, and direct integ...

Ernst Specker Selecta

Ernst Specker Selecta

Approximation von Funktionen durch Linearkombinationen von Eigenfunktionen Sturm-Liouvillescher Differentialgleichungen

Approximation von Funktionen durch Linea...

You Might Also Like

More in Intuitionistic mathe...

Leo Esakia on Duality in Modal and Intuitionistic Logics

Leo Esakia on Duality in Modal and Intui...

Guram Bezhanishvili

Intuitionism

A. Heyting

Intuitionism

Arend Heyting

Mathematische Grundlagenforschung

Mathematische Grundlagenforschung

A. Heyting

Gnomes in the Fog

Gnomes in the Fog

Dennis E. Hesseling

Principles of intuitionism

Principles of intuitionism

A. S. Troelstra