Björn Lellmann

Discipline

Philosophie (1)

Type de document

Livres et chapitres d'ouvrages (1)

Co-auteur

Date

Source

Mot-clé

puits (1) enquête (1) norme (1) science (1) papier (1) histoire (1) interpolation (1) Construction (1) History (1) Methods (1) Science (1) Proof theory (1) Paper (1) Modality (Logic) (1) Interpolation (1) History (1) Gifts (1) Evidence (1) Engineering (1) Building (1) Architecture (1) Methods (1) Science (1) Relations (1) Emphasis (1)

Documents écrit par Björn Lellmann (1) | parle de Björn Lellmann (0)

Nested Sequents or Tree-hypersequents -A survey
Björn Lellmann et al. (2022)