Intensional and Higher- Order Modal Logic

Author: 
Daniel Gallin
Leon Albert Henkin
Publication date: 
September 1, 1972
Publication type: 
PhD Thesis (Author field refers to student + advisor)