(1908-1964) è stato un logico matematico olandese che da approfondite ricerche concernenti la storia della logica e della matematica, ha poi fornito ricchi contributi alla logica- matematica con ricchi contributi a proposito della teoria della definizione, della teoria dei modelli e dell’analisi semantica della logica classica (metodo della tavole semantiche).