Philosophia Scientiae 16/1

From practice to results in logic and mathematics

2012