Review: Dana Scott, J. W. Addison, Leon Henkin, Alfred Tarski, Logic with Denumerably Long Formulas and Finite Strings of Quantifiers
Smith, Perry
J. Symbolic Logic, Tome 36 (1971) no. 1, p. 157-158 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1971-03-14
Classification:  
@article{1183737521,
     author = {Smith, Perry},
     title = {Review: Dana Scott, J. W. Addison, Leon Henkin, Alfred Tarski, Logic with Denumerably Long Formulas and Finite Strings of Quantifiers},
     journal = {J. Symbolic Logic},
     volume = {36},
     number = {1},
     year = {1971},
     pages = { 157-158},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183737521}
}

Smith, Perry. Review: Dana Scott, J. W. Addison, Leon Henkin, Alfred Tarski, Logic with Denumerably Long Formulas and Finite Strings of Quantifiers. J. Symbolic Logic, Tome 36 (1971) no. 1, pp.  157-158. http://gdmltest.u-ga.fr/item/1183737521/