Logical frameworks for truth and abstraction
Logical frameworks for truth and abstraction
1996
Andrea Cantini
Details
First published
1996
OL Work ID
OL3239368W
Subjects
Logic, Symbolic and mathematical
Symbolic and mathematical Logic
Truth
Find this book
Open Library