TY - JOUR AU - Kock, Anders TI - Formal manifolds and synthetic theory of jet bundles JO - Cahiers de topologie et géométrie différentielle PY - 1980 DA - 1980/// SP - 227 EP - 246 VL - 21 IS - 3 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://archive.numdam.org/item/CTGDC_1980__21_3_227_0/ UR - https://zbmath.org/?q=an%3A0434.18012 UR - https://www.ams.org/mathscinet-getitem?mr=591385 LA - en ID - CTGDC_1980__21_3_227_0 ER -