scientific article; zbMATH DE number 3263223

zbMath0164.30804MaRDI QIDQ5549029

A. S. Troelstra

Publication date: 1968

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

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

zbMATH Keywords

general logic

Related Items (1)

Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I

Cites Work

• Intuitionism. An introduction
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: