𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Дидактическая трактовка нулево-единичного метода проверки выражений узкого исчисления предикатов с одним аргументом

✍ Scribed by Л. Борковский


Publisher
Springer Netherlands
Year
1961
Tongue
English
Weight
27 KB
Volume
11
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES