registros 1 al 3 de 3
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Autor/Editor: Kohlenbach, Ulrich
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-77533-1
    + info
Logic, Language, Information, and Computation
Autor/Editor: Libkin, Leonid  Kohlenbach, Ulrich  Queiroz, Ruy
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39992-3
    + info
Logic, Language, Information, and Computation
Autor/Editor: Kohlenbach, Ulrich  Barceló, Pablo  Queiroz, Ruy
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44145-9
    + info
  registros 1 al 3 de 3