Author: "van Dalen D" / Topic: arithmetic - 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 '"van Dalen D"' showing total 3 results

Start Over Author "van Dalen D" Topic arithmetic

3 results on '"van Dalen D"'

1. Meeting of the Association for Symbolic Logic: Florence, Italy 1982

Author: Casari, E., Fenstad, E. J., Lolli, G., Longo, G., Marcja, A., and van Dalen, D.
Published: 1984
Full Text: View/download PDF

2. How to Glue Analysis Models

Author: Van Dalen, D.
Published: 1984
Full Text: View/download PDF

3. The Use of Kripke's Schema as a Reduction Principle

Author: Van Dalen, D.
Published: 1977
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results