Author/Creator: Ferreira, Gilda - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Ferreira, Gilda

1. The Russell-Prawitz embedding and the atomization of universal instantiation. (29th July 2020)

Authors:: Santo, José Espírito; Ferreira, Gilda
Journal:: Logic journal of the IGPL
Issue:: Volume 29:Number 5(2021)
Page Start:: 823
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Η-conversions of IPC implemented in atomic F. (30th June 2016)

Authors:: Ferreira, Gilda
Journal:: Logic journal of the IGPL
Issue:: Volume 25:Number 2(2017:Apr.)
Page Start:: 115
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗