Pages that link to "Item:Q923072"
From MaRDI portal
The following pages link to A new proof of the fixed-point theorem of provability logic (Q923072):
Displaying 4 items.
The following pages link to A new proof of the fixed-point theorem of provability logic (Q923072):
Displaying 4 items.