00817nam0-22003011i-450-9900010995504033210-387-96728-1000109955FED01000109955(Aleph)000109955FED0100010995520000920d1988----km-y0itay50------baengReflexive Structuresan Introduction to Computability TheoryLuis E. SanchisNew York [etc.]Springer-Verlag1988xii, 233 p.24 cmLogicaRicorsività160Sanchis,Luis E.49002ITUNINARICAUNIMARCBK9900010995504033217-26717256FI1FI1Reflexive Structures337995UNINAING01