Weak theories of truth and explicit mathematics. Eberhard, S. & Strahm, T. In Berger, U., Diener, H., Schuster, P., & Seisenberger, M., editors, Logic, Construction, Computation, pages 157–184, 2012. Ontos Verlag.
Weak theories of truth and explicit mathematics [pdf]Paper  bibtex   
@InProceedings{es12a,
  Author =	 {Eberhard, Sebastian and Strahm, Thomas},
  Title =	 {Weak theories of truth and explicit mathematics},
  Pages =	 {157{--}184},
  Editor =	 {Ulrich Berger and Hannes Diener and Peter Schuster
                  and Monika Seisenberger},
  BookTitle =	 {Logic, Construction, Computation},
  Year =	 2012,
  Publisher =	 {Ontos Verlag},
  url =		 {2012/es12a.pdf}
}
Downloads: 0