Geodesic
Outline of an Introduction to Mathematical Logic II
Canadian mathematical bulletin, Tome 1 (1958) no. 2, pp. 113-127

Voir la notice de l'article provenant de la source Cambridge

DOI

It is the purpose of the calculus described in the preceding section (i) to yield as theorems all tautologies which can be formulated in terms of the given variables, and (ii) to yield no other formulae as theorems. We shall establish presently that these two conditions are indeed satisfied. However, there are questions of a more general character which can be solved both with regard to the present calculus and with regard to many other calculi, including some with a more comprehensive vocabulary. 
Robinson, Abraham. Outline of an Introduction to Mathematical Logic II. Canadian mathematical bulletin, Tome 1 (1958) no. 2, pp. 113-127. doi: 10.4153/CMB-1958-013-4
@article{10_4153_CMB_1958_013_4,
     author = {Robinson, Abraham},
     title = {Outline of an {Introduction} to {Mathematical} {Logic} {II}},
     journal = {Canadian mathematical bulletin},
     pages = {113--127},
     year = {1958},
     volume = {1},
     number = {2},
     doi = {10.4153/CMB-1958-013-4},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1958-013-4/}
}
TY  - JOUR
AU  - Robinson, Abraham
TI  - Outline of an Introduction to Mathematical Logic II
JO  - Canadian mathematical bulletin
PY  - 1958
SP  - 113
EP  - 127
VL  - 1
IS  - 2
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1958-013-4/
DO  - 10.4153/CMB-1958-013-4
ID  - 10_4153_CMB_1958_013_4
ER  - 
%0 Journal Article
%A Robinson, Abraham
%T Outline of an Introduction to Mathematical Logic II
%J Canadian mathematical bulletin
%D 1958
%P 113-127
%V 1
%N 2
%U http://geodesic.mathdoc.fr/articles/10.4153/CMB-1958-013-4/
%R 10.4153/CMB-1958-013-4
%F 10_4153_CMB_1958_013_4

Cité par Sources :