AUTHOR: Lars Kristiansen

Lars Kristiansen was born in Fredrikstad, Norway. He received his Ph.D. from the University of Oslo in 1996, where he has taught since 2005. Kristiansen’s research areas are computability theory and complexity theory.

Publications by Lars Kristiansen

A Friendly Introduction to Mathematical Logic
A Friendly Introduction to Mathematical Logic