Report copyright - An Introduction to Synthetic Differential Geometrykostecki/sdg.pdf · logic disregards the axiom of excluded middle in the same way as non-Euclidean geometry disregards fifth postulate
Please pass captcha verification before submit form