𝔖 Bobbio Scriptorium
✦   LIBER   ✦
Cover of The Ballad Of Lost C'Mell

The Ballad Of Lost C'Mell

✍ Scribed by Cordwainer Smith

Year
2010
Tongue
UND
Weight
21 KB
Category
Fiction

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The Ballad Of Lost C'mell
The Ballad Of Lost C'mell
✍ Smith, Cordwainer πŸ“‚ Fiction πŸ“… 0 🌐 English βš– 16 KB
The Ballad Of Lost C'mell
The Ballad Of Lost C'mell
✍ Smith, Cordwainer πŸ“‚ Fiction πŸ“… 0 🌐 English βš– 16 KB
MELL in the calculus of structures
MELL in the calculus of structures
✍ Lutz Straßburger πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 591 KB

The calculus of structures is a new proof theoretical formalism, like natural deduction, the sequent calculus and proof nets, for specifying logical systems syntactically. In a rule in the calculus of structures, the premise as well as the conclusion are structures, which are expressions that share