Taming First-order Logic

Authors
  • S. Mikulas
Publication date 1995
Host editors
  • M. Trautwein
  • S. Fischer
Book title Proceedings Accolade '95
Publisher Amsterdam: Dutch Graduate School in Logic
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back