𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Fibrational formulation of intuitionistic predicate logic 1 Part 2

✍ Scribed by Makkai M.

Book ID
127396928
Year
1993
Tongue
English
Weight
308 KB
Series
Notre Dame J.Formal Logic 34 p471
Category
Library

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[IEEE Comput. Soc International Symposiu
[IEEE Comput. Soc International Symposium on Principles of Software Evolution - Kanazawa, Japan (1-2 Nov 2000)] Proceedings International Symposium on Principles of Software Evolution - Using predicate temporal logic and coloured Petri nets to specifying integrity restrictions in the structural evolution of temporal active systems
✍ Rodriguez-Fortiz, M.J.; Parets-Llorca, J. πŸ“‚ Article πŸ“… 2000 πŸ› IEEE Comput. Soc 🌐 English βš– 455 KB