Combinatory logic Curry Haskell B; Feys Robert
Material type:
TextLanguage: English Series: Studies in logic and the foundations of mathematics ed by L E J BrouwerPublication details: 1958Subject(s): DDC classification: - R14, J81.1
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Arts Library | Arts Library | R14 J81.1 (Browse shelf(Opens below)) | Available | AL0203089 |
Browsing Arts Library shelves Close shelf browser (Hides shelf browser)
| R14 J8 Symbolism of the cross | R14 J8 (ER) Introduction to symbolic logic and its applications tr by William H Meyer and John Wilinson | R14 J81 Symbolic logic | R14 J81.1 Combinatory logic | R14 J82 Axiomatic set theory | R14 J82;K8 Axiomatic set theory | R14 J8-;3 (PD) Introduction to symbolic logic and its applications |
There are no comments on this title.
Log in to your account to post a comment.