A formal background to mathematics /

Podobne zapisy

• Formalizing mathematics in LEAN
  od: Liu, Yufei
  Wydane: (2024)
• Mathematics: the formal tools of engineering /
  od: 347137 Smyth, Michael P.
  Wydane: (1974)
• STUDENTS’ BACKGROUND IN MATHEMATICS: THE CAUSES OF NEGATIVE TRENDS
  od: Vera I. Toktarova, i wsp.
  Wydane: (2017-02-01)
• Hilbert's thesis : some considerations about formalizations of mathematics
  od: Berk, Lon A
  Wydane: (2009)
• Editorial: Mathematical thinking, practices, and processes in non-formal learning environments
  od: Caro Williams-Pierce, i wsp.
  Wydane: (2024-10-01)