Norbert Preining

What to find on these pages:

Scientific work related stuff: please go here.
I have a big passion for mountains, here are some remarks, not much at the moment.
My work as mountain guide please go here.
Travelling is a lot of fun, if you want to read some stories, please go here.
Finally, there is some this and that, take a look at the sidebar below.

GPG: My DSA key for use with gpg and pgp v5 and newer. For retrieval of my keys you can mail me with subject “get DSA-key”.
Fingerprints:
DSA: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094
RSA: BE 15 9D B2 99 05 03 06 D3 A1 56 CC 20 F1 4C 19

topics

Home

Typesetting Georgian
Preliminary files for using the fonts acadnusx and acadmtavr can be found here.

[2006-06-01 | /TeX] permanent link

Gödel logics and Cantor-Bendixon analysis.
Talk at Ordered Structures in Many-Valued Logic, May 2006. Villa Angelina, Massa Lubrense, Italy.

[2006-06-01 | /Work/Talks] permanent link

Herbrand disjunctions and extraction of proofs from sketches.
M. Baaz and N. Preining. In preparation.

[2006-06-01 | /Work/Publications] permanent link