Friedman, Sy D. and VeliCkovit, B., Al-Definability

Annals of Pure and Applied Logic 89 (1):277 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,596

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2014-03-24

Downloads
18 (#1,093,520)

6 months
6 (#747,634)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Weak Second‐Order Arithmetic and Finite Automata.J. Richard Büchi - 1960 - Mathematical Logic Quarterly 6 (1-6):66-92.
On Pascal triangles modulo a prime power.Alexis Bés - 1997 - Annals of Pure and Applied Logic 89 (1):17-35.

Add more references