scientific article; zbMATH DE number 3263223

zbMATH Open0164.30804MaRDI QIDQ5549029FDOQ5549029

Authors: A. S. Troelstra 

Publication date: 1968

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

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

zbMATH Keywords

general logic

Cites Work

• Intuitionism. An introduction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

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

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