# Information for "Formal mathematical analysis"

## Basic information

Display title | Formal mathematical analysis |

Default sort key | Formal mathematical analysis |

Page length (in bytes) | 6,943 |

Page ID | 2706 |

Page content language | en - English |

Page content model | wikitext |

Indexing by robots | Allowed |

Number of redirects to this page | 0 |

Counted as a content page | Yes |

## Page protection

Edit | Allow all users (infinite) |

Move | Allow all users (infinite) |

## Edit history

Page creator | 127.0.0.1 (talk) |

Date of page creation | 17:05, 7 February 2011 |

Latest editor | Ivan (talk | contribs) |

Date of latest edit | 13:34, 27 September 2014 |

Total number of edits | 2 |

Total number of distinct authors | 2 |

Recent number of edits (within past 90 days) | 0 |

Recent number of distinct authors | 0 |

## Page properties

Transcluded template (1) | Template used on this page: |

**How to Cite This Entry:**

Formal mathematical analysis.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Formal_mathematical_analysis&oldid=33420

This article was adapted from an original article by A.G. Dragalin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article