scientific article; zbMATH DE number 3375474

zbMath0237.02005MaRDI QIDQ5646882

Richard E. Vesley

Publication date: 1972

Full work available at URL: http://www.numdam.org/item?id=CM_1972__24_1_33_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Intermediate logics (03B55)

Related Items

Theory of proofs (arithmetic and analysis)

Cites Work

• Intuitionistic analysis and Gödel's interpretation
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• On weak completeness of intuitionistic predicate logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item