Les tableaux sémantiques de calcul des prédicats restreint

Marcel Guillaume

Séminaire Bourbaki (1956-1958)

  • Volume: 4, page 231-243
  • ISSN: 0303-1179

How to cite

top

Guillaume, Marcel. "Les tableaux sémantiques de calcul des prédicats restreint." Séminaire Bourbaki 4 (1956-1958): 231-243. <http://eudml.org/doc/109545>.

@article{Guillaume1956-1958,
author = {Guillaume, Marcel},
journal = {Séminaire Bourbaki},
keywords = {philosophy and foundations of mathematics},
language = {fre},
pages = {231-243},
publisher = {Société Mathématique de France},
title = {Les tableaux sémantiques de calcul des prédicats restreint},
url = {http://eudml.org/doc/109545},
volume = {4},
year = {1956-1958},
}

TY - JOUR
AU - Guillaume, Marcel
TI - Les tableaux sémantiques de calcul des prédicats restreint
JO - Séminaire Bourbaki
PY - 1956-1958
PB - Société Mathématique de France
VL - 4
SP - 231
EP - 243
LA - fre
KW - philosophy and foundations of mathematics
UR - http://eudml.org/doc/109545
ER -

References

top
  1. [1] Beth ( E.W.). - Semantic entailment and formal derivability, Mededeelingen Kon. Nederlandse Akad. van Wetenschappen, Afd. Letterkunde, N. R., Deel 18, n° 13. - Amsterdam, 1955. MR89151
  2. [2] Beth ( E.W.). - Semantic construction of intuitionistic logic, Mededeelingen Kon. Nederlandse Akad. van Wetenschappen, Afd. Letterkunde, N. R., Deel 19, n° 13. - Amsterdam, 1956. Zbl0073.24903MR89152
  3. [3] Beth ( E.W.). - La crise de la raison et la logique. - Paris, Gauthier-Villars, et Louvain, Nauwelaerts, 1957 (Collection de Logique mathématique, Série A). Zbl0077.00909MR89153
  4. [4] Gentzen ( G.). - Recherches sur la déduction logique, trad. et comm. R. Feys et J. Ladrière. - Paris, 1955. MR70585
  5. [5] Kleene ( Stephen C.). - Introduction to metamathematics. - Amsterdam, North-Holland publishing, et Groningen, Noordhoff, 1952 (Bibliotheca mathematica, vol. 1). Zbl0047.00703MR51790
  6. [6] Robinson ( Abraham). - Théorie métamathématique des idéaux. - Paris, Gauthier-Villars. et Louvain, Nauwelaerts, 1955 (Collection de logique mathématique, Série A). Zbl0064.24307MR69781

NotesEmbed ?

top

You must be logged in to post comments.