ABSTRACT: The logical legitimacy problem of computer proofs related to the well-known Horgan-Kranz discussion (published in Scientific American (1993), Notices of AMS (1996), etc.) is considered in ...
Your institution does not have access to this book on JSTOR. Try searching on JSTOR for other items related to this book. https://doi.org/10.2307/j.ctv14164db.5 https ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results