Decision procedures for S3... and S4.. .
Archiv für mathematische Logik und Grundlagenforschung (1969)
- Volume: 12, page 155-158
- ISSN: 0003-9268
Access Full Article
topHow to cite
topZeman, J. Jay. "Decision procedures for S3... and S4.. .." Archiv für mathematische Logik und Grundlagenforschung 12 (1969): 155-158. <http://eudml.org/doc/137827>.
@article{Zeman1969,
author = {Zeman, J. Jay},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
pages = {155-158},
title = {Decision procedures for S3... and S4.. .},
url = {http://eudml.org/doc/137827},
volume = {12},
year = {1969},
}
TY - JOUR
AU - Zeman, J. Jay
TI - Decision procedures for S3... and S4.. .
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1969
VL - 12
SP - 155
EP - 158
UR - http://eudml.org/doc/137827
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.