Modal Deduction in Second-Order Logic and Set Theory

Authors

J.F.A.K. van Benthem
GIOVANNA d' Agostino
A. Montanari
A Policriti

Date (dd-mm-yyyy)

1995

Title

Modal Deduction in Second-Order Logic and Set Theory

Publication Year

1995

Publisher

onbekendonbekend (FdL)

Document type

Report

Permalink

https://hdl.handle.net/11245/1.118784