Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. A Note on Formalising Undefined Terms in Real Analysis - Epimorphism - Document - PDFSEARCH.IO

First Page	Meta Content
	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. A Note on Formalising Undefined Terms in Real Analysis Add to Reading List Document Date: 2008-10-31 05:57:10 Open Document File Size: 197,41 KB Share Result on Facebook Company Elsevier Science B. V. / Let us / Real Analysis / / / Facility University of Bologna / Computer Science University of Bologna Bologna / / IndustryTerm exercise solution / self-assessment tool / didactic tool / formal systems / research / cartesian product / / Organization Real Analysis Claudio Sacerdoti Coen1 / 2 Enrico Zoli1 / 3 Department / University of Bologna / Computer Science University of Bologna Bologna / / Person Asperti / Claudio Sacerdoti / / Position first author / proof assistant / Farmer / Coq proof assistant / / ProgrammingLanguage R / / SocialTag Sheaf Product Group action Function Total order Heyting algebra Epimorphism Mathematics Abstract algebra Equivalence relation

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. A Note on Formalising Undefined Terms in Real AnalysisAdd to Reading List