Roman Murawski, Recursive Functions and Metamathematics

Rodney G. Downey. Roman Murawski, Recursive Functions and Metamathematics. Studia Logica, 70(2):297-299, 2002.

Abstract

Abstract is missing.