@InProceedings{   SOL,
  Author        = "of Philosophy, Stanford Encyclopedia",
  date-added    = "2020-05-30 18:59:25 +0200",
  date-modified = "2020-06-03 07:59:33 +0200",
  Title         = "Second-order and Higher-order Logic",
  Year          = "2019",
  File          = "Second-order and Higher-order Logic (Stanford Encyclopedia of Philosophy) - a - d.pdf"
}

@InProceedings{ SOL, Author = "of Philosophy, Stanford Encyclopedia", date-added = "2020-05-30 18:59:25 +0200", date-modified = "2020-06-03 07:59:33 +0200", Title = "Second-order and Higher-order Logic", Year = "2019", File = "Second-order and Higher-order Logic (Stanford Encyclopedia of Philosophy) - a - d.pdf" }