Department Mathematik
print


Navigationspfad


Inhaltsbereich

Publications


Papers




PhD Thesis




Abstracts and Reports




Editorial work

  • Editorial, (with H. Leitgeb, P. Schuster and H. Schwichtenberg), IFCoLog Journal of Logics and their Applications, Special Issue Proof, Truth, Computation, Vol.3 No. 4, 513-515, 2016, ISBN 978-1-84890-219-0.



Zentralblatt MATH Reviews




Mathematical Reviews

  • D. Bridges, M. Hendtlass, E. Palmgren: A constructive Examination of Rectifiability
  • A. Mahboubi: An induction principle over real numbers
  • C. Duguid: Graph theory and the identity of indiscernibles
  • Vít Punčochář: Intensionalisation of Logical Operators
  • A. G. Melnikov and K. M. Ng: Computable structures and operations on the space of continuous functions



Preprints




Past work





Last modified: 15.09.2017