| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4967708 | 2019-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4814304 | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4709808 | 2004-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4356361 | 2000-09-27 | Paper |
| More on an undecidability result of Bateman, Jockusch and Woods | 1998-10-19 | Paper |
| Une condition impliquant toutes les identités rationnelles | 1997-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4856967 | 1996-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012526 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3983708 | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976577 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4713559 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3974168 | 1992-06-25 | Paper |
| Une remarque sur les systèmes complets d'identités rationnelles | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3812458 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5752565 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3755443 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3714062 | 1985-01-01 | Paper |
| The consistency of some 4-stratified subsystem of NF including NF3 | 1985-01-01 | Paper |
| Arithmetic and the theory of types | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3739242 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3309819 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3309820 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3320364 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956930 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3890672 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3856748 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922653 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4154558 | 1978-01-01 | Paper |
| The consistency problem for NF | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3869338 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3884103 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4149765 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4126342 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4078019 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4088819 | 1975-01-01 | Paper |
| Sets equipollent to their power set in NF | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4137102 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4774049 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4081246 | 1973-01-01 | Paper |
| L'axiome de la paire dans le système de Zermelo | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5643982 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4774044 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4041571 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5661878 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5672892 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4774048 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4056005 | 1972-01-01 | Paper |
| Formules Σ1 en Théorie des Ensembles Sans Axiome de Fondement | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5668468 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5656766 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5622192 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5646903 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5656767 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5656768 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5656769 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5648367 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4769054 | 1970-01-01 | Paper |
| Induction et récursion en théorie des ensembles sans axiome de fondement | 1970-01-01 | Paper |
| Une application de la méthode de Fraenkel-Mostowski | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5607218 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5656771 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5677490 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5588624 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5563360 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5556412 | 1969-01-01 | Paper |
| MODÈLES DE LA THÉORIE GÉNÉRALE DES ENSEMBLES, CONSTRUITS SUR LES NOMBRES‐ε | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5608757 | 1969-01-01 | Paper |
| Graphes Extensionnels et Axiome D'universalité | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5569443 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5556411 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5576723 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5554954 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5573958 | 1967-01-01 | Paper |
