On Inductive Generalization in Monadic First-Order Logic With Identity

Research output: Contribution to journalArticle

3 Citations (Scopus)
Original languageEnglish (US)
Pages (from-to)133-154
Number of pages22
JournalStudies in Logic and the Foundations of Mathematics
Volume43
Issue numberC
DOIs
StatePublished - Dec 1 1966
Externally publishedYes

Fingerprint

First-order Logic
Generalization

ASJC Scopus subject areas

  • Logic

Cite this

On Inductive Generalization in Monadic First-Order Logic With Identity. / Hilpinen, Risto.

In: Studies in Logic and the Foundations of Mathematics, Vol. 43, No. C, 01.12.1966, p. 133-154.

Research output: Contribution to journalArticle

@article{2110b726efcb47d88d71191b534a9bb5,
title = "On Inductive Generalization in Monadic First-Order Logic With Identity",
author = "Risto Hilpinen",
year = "1966",
month = "12",
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 -