Selected works in logic /
Autor principal: | Skolem, Thoralf A. 1887-1967 (Autor, Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Oslo :
Universitetsforlaget,
1970.
|
Colección: | Scandinavian university books
|
Materias: |
Ejemplares similares
-
Mathematical interpretation of formal systems /
por: Skolem, Thoralf A. 1887-1967, et al.
Publicado: (1955) -
Mathematical interpretation of formal systems /
por: Skolem, Thoralf A. 1887-1967, et al.
Publicado: (1971) -
Selected works /
por: Lukasiewicz, Jan, et al.
Publicado: (1970) -
Lectures on infinitary logic and logics of programs /
por: Rasiowa, Helena, et al.
Publicado: (1974) -
Symbolic logic : and, the game of logic
por: Carroll, Lewis 1832-1898
Publicado: (1968)