| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Algorithms for Quantified Cut-Introduction: Introducing quantified cuts in sequent calculus | 978-3-639-85229-5 (3-639-85229-X) | 2015 |
C.S. · Carsten Siburg · Christiaan Schiepers · Christian Schepers · Christian Sperka · Christian Spoerhase · Christian Spreckels · Christiane Schäfers · Christiane Schaffarczyk · Christina Scifres · Christina Sjöberg · Christina Spurgeon · Christine Seeberg · Christine Sievers · Christine Sparks · Christine Spiers · Christo Saprjanov · Christof Spörk · Christoph Schäfers · Christoph Seeberger · Christoph Sparwasser · Christoph Sprich · Christopher Schaberg · Christopher Sivewright · Christopher Sparks · Christopher Sprigman