Author: "Stephen L. Bloom" / Journal: notre dame j. formal log. - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Stephen L. Bloom"' showing total 5 results

Start Over Author "Stephen L. Bloom" Journal notre dame j. formal log.

5 results on '"Stephen L. Bloom"'

1. A semi-completeness theorem.

Author: Stephen L. Bloom
Published: 1969
Full Text: View/download PDF

2. Investigations into the sentential calculus with identity.

Author: Stephen L. Bloom and Roman Suszko
Published: 1972
Full Text: View/download PDF

3. A note on the arithmetical hierarchy.

Author: Stephen L. Bloom
Published: 1968
Full Text: View/download PDF

4. Extensions of Gödel's completeness theorem and the Löwenheim-Skolem theorem.

Author: Stephen L. Bloom
Published: 1973
Full Text: View/download PDF

5. Errata: 'Investigations into the sentential calculus with identity'.

Author: Stephen L. Bloom and Roman Suszko
Published: 1976

Catalog

Books, media, physical & digital resources

See catalog results