Andrej Bauer
   courses    work
racunalnistvo 1

kategorna logika

selected papers and notes

talks

my ph.d. dissertation

the logic group at CMU

analytica



   entertainment
random art

become an Objectivist in ten easy steps

aikido at CMU

Shodokan Dojo, aikido in Ljubljana



 work address  home address
Andrej Bauer
IMFM
Jadranska 19
1000 Ljubljana
Slovenia

office: 108

phone:  +386 1 47 666 21
fax:    +386 1 2517 281

Andrej Bauer
Bratovseva pl. 8
1000 Ljubljana
Slovenia

home:   +386 1 5345 372
mobile: +386 31 727 708

 e-mail  url
Andrej.Bauer@andrej.com http://andrej.com/