scientific article; zbMATH DE number 4195939

zbMATH Open0725.03040MaRDI QIDQ5202655

A. S. Troelstra

Publication date: 1988

Title of this publication is not available (Why is that?)

zbMATH Keywords

derived rulesintuitionistic formal systemsoperator-part of Feferman's theory of operators and classes

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items (2)

Title not available (Why is that?) ⋮ A short introduction to intuitionistic logic

Recommendations

• Incompleteness in intuitionistic metamathematics 👍 👎
• A short introduction to intuitionistic logic 👍 👎
• A Framework for Metamathematics 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5202655)