Author:
de Carvalho Daniel,Kudasov Nikolai
Publisher
Springer International Publishing
Reference61 articles.
1. Artin, M., Grothendieck, A., Verdier, J.L.: Séminaire de géométrie algébrique du Bois-Marie - 1963–1964 - Théorie des topos et cohomologie étale des schémas (SGA 4) - Tome 1. Lecture Notes in Mathematics, vol. 269. Springer (1972)
2. Avigad, J., Lewis, R.Y., van Doorn, F.: Logic and Proof (2020). https://leanprover.github.io/logic_and_proof/. Accessed 2 July 2020
3. Barr, M.: The Category Theory Mailing List (1996). https://www.mta.ca/~cat-dist/catlist/1999/set-memb-func-comp
4. Benacerraf, P.: What numbers could not be. Philos. Rev. 74, 47–73 (1965)
5. Dover Books on Mathematics;G Cantor,1955