A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains
Schneider, Hubert H.
Portugaliae mathematica, Tome 20 (1961), p. 105-117 / Harvested from Portugaliae Mathematica
Access to full text
Publié le : 1961-01-01
EUDML-ID : urn:eudml:doc:114856 
@article{2366,
     author = {Schneider, Hubert H.},
     title = {A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains},
     journal = {Portugaliae mathematica},
     volume = {20},
     year = {1961},
     pages = {105-117},
     zbl = {0097.24502},
     mrnumber = {0186533},
     language = {en},
     url = {http://dml.mathdoc.fr/item/2366}
}

Schneider, Hubert H. A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains. Portugaliae mathematica, Tome 20 (1961) pp. 105-117. http://gdmltest.u-ga.fr/item/2366/