Skip to main navigation Skip to search Skip to main content

Automation of Higher-Order Logic

  • Free University of Berlin

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageEnglish
Title of host publicationHandbook of the History of Logic
PublisherElsevier B.V.
Pages215-254
Number of pages40
EditionC
DOIs
Publication statusPublished - 1 Jan 2014

Publication series

NameHandbook of the History of Logic
NumberC
Volume9
ISSN (Print)1874-5857

Cite this