Kategorie Diskussion:Mathematischer Logiker (20. Jahrhundert)

Dana Scott, Barwise, Feferman, Blum, Halmos, .... ?