Informasi yang berkaitan dengan pt/Teoria do tipo intuicionista