Provability logic and admissible rules
Provability logic and admissible rules
Rosalie Iemhoff
Details
OL Work ID
OL39567187W
Find this book
Open Library