Logik und Beweise

Springer eBooks 2026 Book chapter

View at publisher
Authors: Elena E. Berdysheva
DOI: 10.1007/978-3-662-71589-5_3
Cited by: 0

Fields of Study & Subjects

History and Theory of Mathematics Advanced Topology and Set Theory Logic programming and type systems

Publication details

Journal / source
Springer eBooks
Pages
23–47
Publication date
1 January 2026
Language
DE
Document type
Book chapter