scientific article; zbMATH DE number 3624817
From MaRDI portal
Publication:4187337
zbMATH Open0402.68064MaRDI QIDQ4187337FDOQ4187337
Authors: L. S. van Benthem Jutting 
Publication date: 1979
Title of this publication is not available (Why is that?)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Software, source code, etc. for problems pertaining to real functions (26-04)
Cited In (14)
- The logical study of science
- A formalization of properties of continuous functions on closed intervals
- Revisiting the notion of function
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic
- Supporting the formal verification of mathematical texts
- An example of formalizing recent mathematical results in MIZAR
- Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician
- N. G. de Bruijn's contribution to the formalization of mathematics
- Irrationality and transcendence criteria for infinite series in Isabelle/HOL
- Automath and Pure Type Systems
- Procedural representation of CIC proof terms
- Licensing the Mizar Mathematical Library (MML)
- Computerizing mathematical text with MathLang
- On the syntax of Martin-Löf's type theories
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4187337)
