Kock A. and G. E. Reyes (1981). Models for synthetic integration theory. Math.
Scand. 48, 145-152.
« Boolean spectra and model completions • Logic and category theory »
Gonzalo E. Reyes - Marie La Palme Reyes
From mathematics to literature. - Des mathématiques à la littérature.
« Boolean spectra and model completions • Logic and category theory »
Kock A. and G. E. Reyes (1981). Models for synthetic integration theory. Math.
Scand. 48, 145-152.