Infinitary logic : in memoriam Carol Karp.
Autor principal: | Kueker, David W. 1934- (Autor, Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Berlín :
Springer,
1964-.
|
Materias: |
Ejemplares similares
-
Lectures on infinitary logic and logics of programs /
por: Rasiowa, Helena, et al.
Publicado: (1974) -
Principles of mathematical logic /
por: Hilbert, David 1862-1943, et al.
Publicado: (1950) -
Mathematical logic and theoretical computer science
por: Kueker, D.W
Publicado: (1987) -
Symbolic logic : and, the game of logic
por: Carroll, Lewis 1832-1898
Publicado: (1968) -
The Computational complexity of logical theories /
por: Ferrante, Jeanne 1949-, et al.
Publicado: (1964)