Belinfante, Johan Gijsbertus Frederik Reasoning about iteration in Gödel’s class theory. (English) Zbl 1260.68365 Baader, Franz (ed.), Automated deduction – CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40559-3/pbk). Lect. Notes Comput. Sci. 2741, 228-242 (2003). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{J. G. F. Belinfante}, Lect. Notes Comput. Sci. 2741, 228--242 (2003; Zbl 1260.68365) Full Text: DOI
Belinfante, Johan Gijsbertus Frederik Computer proofs about finite and regular sets: The unifying concept of subvariance. (English) Zbl 1039.68115 J. Symb. Comput. 36, No. 1-2, 271-285 (2003). MSC: 68T15 PDFBibTeX XMLCite \textit{J. G. F. Belinfante}, J. Symb. Comput. 36, No. 1--2, 271--285 (2003; Zbl 1039.68115) Full Text: DOI
Gijsbertus, Johan; Belinfante, Johan Gijsbertus Frederik Gödel’s algorithm for class formation. (English) Zbl 0963.68183 McAllester, David (ed.), Automated deduction - CADE-17. 17th international conference, Pittsburgh, PA, USA, June 17-20, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1831, 132-147 (2000). MSC: 68T15 PDFBibTeX XMLCite \textit{J. Gijsbertus} and \textit{J. G. F. Belinfante}, Lect. Notes Comput. Sci. 1831, 132--147 (2000; Zbl 0963.68183)
Belinfante, Johan G. F. On computer-assisted proofs in ordinal number theory. (English) Zbl 0922.68111 J. Autom. Reasoning 22, No. 3, 341-378 (1999). MSC: 68T15 PDFBibTeX XMLCite \textit{J. G. F. Belinfante}, J. Autom. Reasoning 22, No. 3, 341--378 (1999; Zbl 0922.68111) Full Text: DOI
Belinfante, Johan G. Computer proofs in Gödel’s class theory with equational definitions for composite and cross. (English) Zbl 0922.68110 J. Autom. Reasoning 22, No. 3, 311-339 (1999). MSC: 68T15 PDFBibTeX XMLCite \textit{J. G. Belinfante}, J. Autom. Reasoning 22, No. 3, 311--339 (1999; Zbl 0922.68110) Full Text: DOI