Predicate calculus
[NT 60487] Overview
| [NT 60478] Works: | 1 [NT 60520] works in 1 [NT 60521] publications in 1 [NT 60522] languages | |
|---|---|---|
[NT 60480] Titles
Model theory for modal logic : Kripke models for modal predicate calculi
[NT 59711] by:
([NT 1579] Language materials, printed)
[NT 60479] Subjects