Combinators, -terms and proof theory.

Na minha lista:
Detalhes bibliográficos
Autor principal: Stenlund, Soren
Formato: Thesis Livro
Idioma:English
Publicado em: Dordrecht, D. Reidel [1972]
Colecção:Synthese library
Assuntos:

CARM 1 Store

Detalhes do Exemplar CARM 1 Store
Área/Cota: A2:AD08A0 B00466
Cód. Barras: 1 Disponível  Localização