scientific article; zbMATH DE number 3600027

zbMATH Open0386.03026MaRDI QIDQ4166751FDOQ4166751

Author name not available (Why is that?)

Publication date: 1977

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

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Intuitionistic mathematics (03F55) General logic (03B99) Proof theory and constructive mathematics (03F99)

Cited In (1)

• Recursive \(\omega\)-rule for proof systems

   Recommendations

• Title not available (Why is that?) 👍 👎
• Infinite Chichilnisky rules 👍 👎
• Sufficient Condition for Consistency of Infinite Systems 👍 👎
• Proof systems for infinite behaviours 👍 👎
• Title not available (Why is that?) 👍 👎
• Discrete systems on infinite intervals 👍 👎
• On the structure at infinity of a structured system 👍 👎
• Finite de Finetti Theorem for Infinite-Dimensional Systems 👍 👎
• Infinite Iterated Function Systems 👍 👎

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 Q4166751)