mathesis

fondements
foundations of logic and computing

witness structures / structures temoin

Adrian Rezus Nimègue / Pays-Bas

liens / links

Adrian Rezus Nimègue / Pays-Bas

bibliographie / bibliography

Bart Jacobs Nimègue / Pays-Bas Morten Heine Sørensen Copenhague / Danemark Pawel Urzyczyn Varsovie / Pologne Jean-Yves Girard Marseille / France Henk Barendregt, Wil Dekkers Nijmegen / Pays-Pas Rick Statman Pittsburgh / PA et al.

© 2010-2013 équivalences