On Inductive Generalization in Monadic First-Order Logic With Identity

Risto Hilpinen

Research output: Contribution to journal › Article › peer-review

Original language	English (US)
Pages (from-to)	133-154
Number of pages	22
Journal	Studies in Logic and the Foundations of Mathematics
Volume	43
Issue number	C
DOIs	https://doi.org/10.1016/S0049-237X(08)71667-7
State	Published - Dec 1 1966
Externally published	Yes

ASJC Scopus subject areas

@article{2110b726efcb47d88d71191b534a9bb5,

title = "On Inductive Generalization in Monadic First-Order Logic With Identity",

author = "Risto Hilpinen",

year = "1966",

month = dec,

day = "1",

doi = "10.1016/S0049-237X(08)71667-7",

language = "English (US)",

volume = "43",

pages = "133--154",

journal = "Studies in Logic and the Foundations of Mathematics",

issn = "0049-237X",

publisher = "Elsevier",

number = "C",

}

TY - JOUR

T1 - On Inductive Generalization in Monadic First-Order Logic With Identity

AU - Hilpinen, Risto

PY - 1966/12/1

Y1 - 1966/12/1

UR - http://www.scopus.com/inward/record.url?scp=77956957214&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77956957214&partnerID=8YFLogxK

U2 - 10.1016/S0049-237X(08)71667-7

DO - 10.1016/S0049-237X(08)71667-7

M3 - Article

AN - SCOPUS:77956957214

VL - 43

SP - 133

EP - 154

JO - Studies in Logic and the Foundations of Mathematics

JF - Studies in Logic and the Foundations of Mathematics

SN - 0049-237X

IS - C

ER -