On the Constructive Truth and Falsity in Peano Arithmetic

von Kushida, Hirohiko
Veröffentlicht in LFCS (2020 : Deerfield Beach, Fla.) Logical Foundations of Computer Science (2020)