A complete, infinitary axiomatization of weak second-order logic
Fundamenta Mathematicae (1967)
- Volume: 61, Issue: 1, page 93-103
- ISSN: 0016-2736
Access Full Article
topHow to cite
topLopez-Escobar, E.. "A complete, infinitary axiomatization of weak second-order logic." Fundamenta Mathematicae 61.1 (1967): 93-103. <http://eudml.org/doc/213978>.
@article{Lopez1967,
author = {Lopez-Escobar, E.},
journal = {Fundamenta Mathematicae},
keywords = {algebraic logic, model theory},
language = {eng},
number = {1},
pages = {93-103},
title = {A complete, infinitary axiomatization of weak second-order logic},
url = {http://eudml.org/doc/213978},
volume = {61},
year = {1967},
}
TY - JOUR
AU - Lopez-Escobar, E.
TI - A complete, infinitary axiomatization of weak second-order logic
JO - Fundamenta Mathematicae
PY - 1967
VL - 61
IS - 1
SP - 93
EP - 103
LA - eng
KW - algebraic logic, model theory
UR - http://eudml.org/doc/213978
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.