scientific article; zbMATH DE number 3508465

From MaRDI portal

Publication:4088791

Jump to:navigation, search

zbMath0325.02015MaRDI QIDQ4088791

A. S. Troelstra

Publication date: 1975

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

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Intermediate logics (03B55)

Related Items (1)

Contribution to the study of the natural number object in elementary topoi

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4088791&oldid=17847134"