Pages that link to "Item:Q5079762"
From MaRDI portal
The following pages link to MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762):
Displayed 1 item.
The following pages link to MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762):
Displayed 1 item.