Reasoning in Simple Type Theory -- Festschrift in Honor of Peter B. Andrews on His 70th Birthday (bibtex)
by Unknown
Reference:
Reasoning in Simple Type Theory -- Festschrift in Honor of Peter B. Andrews on His 70th Birthday, (Christoph Benzmüller, Chad Brown, Jörg Siekmann, Richard Statman, eds.), College Publications, Studies in Logic, Mathematical Logic and Foundations, pp. 460, 2008.
Bibtex Entry:
@proceedings{E11,
  Isbn =	 {978-1-904987-70-3},
  Editor =	 {Christoph Benzm{\"u}ller and Chad Brown and J{\"o}rg
                  Siekmann and Richard Statman},
  Pages =	 460,
  Publisher =	 {College Publications},
  Series =	 {Studies in Logic, Mathematical Logic and
                  Foundations},
  Title =	 {Reasoning in Simple Type Theory -- Festschrift in
                  Honor of {Peter B.~Andrews} on His 70th Birthday},
  Url =
                  {http://www.collegepublications.co.uk/logic/mlf/?00010},
  Year =	 2008,
}
Powered by bibtexbrowser