Fortell venner om denne varen:
Combinators, -Terms and Proof Theory - Synthese Library S. Stenlund 1972 edition
Pris
NOK 949
Bestillingsvarer
Forventes levert 18. - 26. nov
Julegaver kan byttes frem til 31. januar
Få varsel om nye utgivelser fra S. Stenlund
Legg til iMusic ønskeliste
eller
Finnes også som:
Combinators, -Terms and Proof Theory - Synthese Library
S. Stenlund
The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own.
187 pages, biography
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Pocketbok) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Innbunden bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2027-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-innbunden-bok&class=scaled&v=1786374320)
![Cover for Handbuch Organisationssoziologie (Innbunden bok) [1. Aufl. 2021 edition] (2026)](https://imusic.b-cdn.net/images/item/original/191/9783658159191.jpg?2026-handbuch-organisationssoziologie-innbunden-bok&class=scaled&v=1605099239)
