Axiomatic set theory à la Dijkstra and Scholten

Ernesto Acosta, Bernarda Aldana, Jaime Bohórquez, Camilo Rocha

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Fingerprint

Dive into the research topics of 'Axiomatic set theory à la Dijkstra and Scholten'. Together they form a unique fingerprint.

Mathematics

Computer Science