Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, june 20-28, 1988 /
Autor principal: | Homer, S. (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) -
The Computational complexity of logical theories /
por: Ferrante, Jeanne 1949-, et al.
Publicado: (1964) -
Logic, methodology and philosophy of science IV : proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 /
por: Suppes, Patrick Colonel 1922-
Publicado: (1973) -
Elements of symbolic logic /
por: Reichenbach, Hans, 1891-1953
Publicado: (1947) -
Lecture notes on mathematical logic /
por: Davis, Martin 1928-, et al.
Publicado: (1939)