Publication:4187337
From MaRDI portal
zbMath0402.68064MaRDI QIDQ4187337
Publication date: 1979
68-02: Research exposition (monographs, survey articles) pertaining to computer science
26-04: Software, source code, etc. for problems pertaining to real functions
03-04: Software, source code, etc. for problems pertaining to mathematical logic and foundations
Related Items
Automath and Pure Type Systems, A Formalization of Properties of Continuous Functions on Closed Intervals, Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL, 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, An example of formalizing recent mathematical results in MIZAR, Supporting the formal verification of mathematical texts, On the syntax of Martin-Löf's type theories, The logical study of science, Revisiting the notion of function, Procedural representation of CIC proof terms, Computerizing Mathematical Text with MathLang