Computability in combinatory spaces - An algebraic generalization of abstract first order computability
Material type: TextSeries: Mathematics and its applications-East European SeriesPublication details: Netherlands ; Kluwer ; 1992Description: 320ISBN: 0 7923 1576 6Subject(s): Recursion theory Combinatory logicCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.57 SKO (Browse shelf (Opens below)) | Available | 28733 |
There are no comments on this title.