Combinators, terms and proof theory.
Guardado en:
Autor principal: | Stenlund, Sören |
---|---|
Formato: | Libro |
Lenguaje: | Inglés |
Publicado: |
Dordrecht, Holland :
Reidel,
1972c.
|
Colección: | Synthese library
|
Materias: |
Ejemplares similares
-
Theory of probability.
por: Munroe, M. E.
Publicado: (1951.) -
Theory of probability.
por: Munroe, M. E.
Publicado: (1951.) -
Theory of probability.
por: Jeffreys, Harold
Publicado: (1939.) -
Probabilidad y estadística : aplicaciones y métodos.
por: Canavos, George C.
Publicado: (1988c.) -
Probabilidad y estadística : aplicaciones y métodos.
por: Canavos, George C.
Publicado: (1988c.)