Valido e provabile
Valido e provabile
Pierdaniele Giaretta
Details
OL Work ID
OL6413289W
Subjects
Intuitionistic mathematics
Modality (Logic)
Symbolic and mathematical Logic
Find this book
Open Library