David Hilbert was particularly interested in the foundations of mathematics. Among many other things, he is famous for his attempt to axiomatize mathematics. This text presents his treatment of symbolic logic. It lays the groundwork for his later work with Bernays. pročitati sve