FOM: Re: SOL confusion

Walter Felscher walter.felscher at uni-tuebingen.de
Fri Sep 8 09:21:13 EDT 2000

Previous message: FOM: Re: SOL confusion
Next message: FOM: SOL confusion
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

For a proof theoretical treatment of SOL compare that of G. Takeuti 
in his Proof Theory 1975/1987 . 

W.F.

Previous message: FOM: Re: SOL confusion
Next message: FOM: SOL confusion
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list