View in EDS PDF Full Text

Intuitionistic Gödel-Löb without Sharps.

Saved in:
Bibliographic Details
Title: Intuitionistic Gödel-Löb without Sharps.
Authors: Aguilera, Juan P.1, aguilera@logic.at, Pacheco, Leonardo2, leonardovpacheco@gmail.com
Source: ACM Transactions on Computational Logic; Oct2025, Vol. 26 Issue 4, p1-14, 14p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first