scientific article
From MaRDI portal
Publication:3118402
zbMath1252.03006MaRDI QIDQ3118402
Publication date: 2 March 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50)
Related Items (4)
The effects of effects on constructivism ⋮ On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge ⋮ Constructive characterizations of bar subsets ⋮ Constructive knowledge: what agents can achieve under imperfect information
This page was built for publication:
