scientific article; zbMATH DE number 3624817

zbMath0402.68064MaRDI QIDQ4187337

L. S. van Benthem Jutting

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

AutomathFoundations of Real AnalysisProgramming Language for Theorem Proving

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Software, source code, etc. for problems pertaining to real functions (26-04) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items

A Formalization of Properties of Continuous Functions on Closed Intervals, On the syntax of Martin-Löf's type theories, An example of formalizing recent mathematical results in MIZAR, Supporting the formal verification of mathematical texts, Procedural representation of CIC proof terms, Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL, Revisiting the notion of function, The logical study of science, Automath and Pure Type Systems, Progress in the Development of Automated Theorem Proving for Higher-Order Logic, Licensing the Mizar Mathematical Library, Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician, N. G. de Bruijn's contribution to the formalization of mathematics, Computerizing Mathematical Text with MathLang