Feferman FSO reference

Robert S. Boyer <boyer@CLI.COM>
Date: Sun, 18 Apr 93 14:05:52 CDT
From: Robert S. Boyer <boyer@CLI.COM>
Message-id: <9304181905.AA13435@axiom.CLI.COM>
To: qed@mcs.anl.gov
Subject: Feferman FSO reference
Reply-To: boyer@CLI.COM
Sender: qed-owner
Precedence: bulk
I should have included the following reference in my previous message
in which I mentioned Feferman's PRA-strong logic FS0: "Finitary
inductively presented logics", S. Feferman, Logic Colloquium '88,
Ferro, Bonotto, Valenti and Zanardo (eds.), Elsevier, North-Holland,
1989., pp. 191-220.