Related Books
Language: en
Pages: 196
Pages: 196
Type: BOOK - Published: 2019-10-15 - Publisher: Springer Nature
This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathemat
Language: en
Pages: 418
Pages: 418
Type: BOOK - Published: 2009-08-28 - Publisher: Springer Science & Business Media
proceedings of the symposium. Somecontributorswereunabletoattendthe event.
Language: en
Pages: 517
Pages: 517
Type: BOOK - Published: 2013-12-01 - Publisher: Springer Science & Business Media
This ENCYCLOPAEDIA OF MATHEMATICS aims to be a reference work for all parts of mathematics. It is a translation with updates and editorial comments of the Sovie
Language: en
Pages: 927
Pages: 927
Type: BOOK - Published: 2013-12-01 - Publisher: Springer
Language: en
Pages: 376
Pages: 376
Type: BOOK - Published: 1992-02-19 - Publisher: Springer Science & Business Media
This volume contains selected papers presented at the seventeenth Colloquiumon Trees in Algebra and Programming (CAAP) held jointly with the European Symposium
