Complétion et complétude selon H. Andreka et I. Nemeti
Diagrammes (1992)
- Volume: 28, page 1-80
- ISSN: 0224-3911
Access Full Article
top
How to cite
topCury, F.. "Complétion et complétude selon H. Andreka et I. Nemeti." Diagrammes 28 (1992): 1-80. <http://eudml.org/doc/193043>.
@article{Cury1992,
author = {Cury, F.},
journal = {Diagrammes},
keywords = {essentially algebraic completeness theorem; generalized Birkhoff theorem; category of total algebras; category of models; category of partial algebras},
language = {fre},
pages = {1-80},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {Complétion et complétude selon H. Andreka et I. Nemeti},
url = {http://eudml.org/doc/193043},
volume = {28},
year = {1992},
}
TY - JOUR
AU - Cury, F.
TI - Complétion et complétude selon H. Andreka et I. Nemeti
JO - Diagrammes
PY - 1992
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 28
SP - 1
EP - 80
LA - fre
KW - essentially algebraic completeness theorem; generalized Birkhoff theorem; category of total algebras; category of models; category of partial algebras
UR - http://eudml.org/doc/193043
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.