T. Franzén

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

Torkel Franzén, T. Franzén, 2017 .

Gödel's Theorem

Torkel Franzén, T. Franzén, 2005 .

Gödel's Incompleteness Theorems, Free Will and Mathematical Thought

T. Franzén, 2011 .

PROGRESSIONS: A SECOND LOOK AT COMPLETENESS

T. Franzén, 2010 .

An Intuitionistic Predicate Logic Theorem Prover

Seif Haridi, Torkel Franzén, Dan Sahlin, 1989, J. Log. Comput..

The popular impact of Gödel's incompleteness theorem

T. Franzén, 2006 .

Inexhaustibility : a non-exhaustive treatment

Torkel Franzén, T. Franzén, 2004 .