Studies in constructive mathematics and mathematical logic. Part IX

DOI10.1007/BF02358991zbMath0924.00002MaRDI QIDQ1307304

No author found.

Publication date: 31 October 1999

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

zbMATH Keywords

Mathematical logicConstructive mathematics

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (1)

Constructibility of the universal wave function

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
• Recursive analysis
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Grundlagen der Mathematik I
• Function Theory in an Axiom-Free Equation Calculus
• The consistency of arithmetics

This page was built for publication: Studies in constructive mathematics and mathematical logic. Part IX