TPTP Reference: Lam84

1 entry with key starting “Lam84”. Plain BibTeX

@Article{Lam84,
    Author       = "Lam, T.",
    Year         = "1984",
    Title        = "{An Introduction to Real Algebra}",
    Journal      = "Rocky Mountain Journal of Mathematics",
    Volume       = "14",
    Number       = "4",
    Pages        = "767-814",
    Comment      = ""
}