Mathematical interpretation of formal systems /
Guardado en:
| Autor Corporativo: | Wiskundig Genootschap (Holanda) |
|---|---|
| Otros Autores: | Skolem, Th. 1887-1963. |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Amsterdam :
North-Holland,
1955.
|
| Series: | Studies in logic and the foundations of mathematics
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Interpreting the interpreters /
por: Viney, Linda L.
Publicado: (1987) -
Formal systems and recursive functions. /
por: Crossley, J. N.
Publicado: (1965) -
Theory of formal systems /
por: Smullyan, Raymond M.
Publicado: (1961) -
Computer programming and formal systems /
Publicado: (1963) -
Formal Models of Operating System Kernels
por: Craig, Iain D.
Publicado: (2007)
