Informasi yang berkaitan dengan it/Logica monadica del secondo ordine