Informasi yang berkaitan dengan pt/Gödel logics