Fortell venner om denne varen:
Combinators, -Terms and Proof Theory - Synthese Library S. Stenlund Softcover reprint of the original 1st ed. 1972 edition
Pris
NOK 969
Bestillingsvarer
Forventes levert 10. - 18. 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.
194 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)
