Proceedings ... annual IEEE Symposium on Logic in Computer Science

Vydáno 1986

Computing and logic : mathematics and language /

Autor Satty, Glenn, Blakeley, Thomas J., 1931-1989, Colbert, James G.
Vydáno 1988

Computability : computable functions, logic, and the foundations of mathematics /

Autor Epstein, Richard L., 1947-, Carnielli, Walter Alexandre, 1952-
Vydáno 2008

Three views of logic : mathematics, philosophy, and computer science /

Autor Loveland, Donald W., Hodel, Richard E., Sterrett, S. G.
Vydáno 2014