A completeness theorem for unrestricted first- order languages

By Agustín Rayo, Timothy Williamson. 2003

48 citations recorded by the source corpus.