1
by Beth, Evert Willem
Published 1959
Elsevier Science

4
by Lakatos, Imre
Published 1968
North-Holland Pub. Co.

6
by Kuipers, Theo A. F.
Published 2007
North Holland