4

4

in: Freund A.
"Well ordering principles and Pi$1$₄-statements: a pilot study" (2021) 

41

in: Kohlenbach U.
"Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020) 

4th

• in: Müller N. and Ziegler M.
  "From Calculus to Algorithms without Errors" (2014)
• in: Otto M.
  "Capturing bisimulation-invariant Ptime" (1997)

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)