๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Elimination of cut-type rules from the Robinson and Presburger axiomatic systems

โœ Scribed by A. Yu. Plyushkevichene


Book ID
105077848
Publisher
Springer US
Year
1972
Tongue
English
Weight
562 KB
Volume
1
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.