Logic for mathematics and computer science /

Autor Burris, Stanley N.
Vydáno 1998

Logic for problem solving /

Autor Kowalski, Robert, 1941-
Vydáno 1979

Logic in computer science : modelling and reasoning about systems /

Autor Huth, Michael, 1962-, Ryan, Mark, 1955-
Vydáno 2000

Logic, language and computation. Vol. 3 /

Vydáno 2000

Logic of computation /

Vydáno 1997

The logic of epistemology and the epistemology of logic : selected essays /

Autor Hintikka, Jaakko, 1929-, Hintikka, Merrill B., 1939-
Vydáno 1989

The logic of partial information /

Autor Nait Abdallah, Areski
Vydáno 1995

Logic of programming and calculi of discrete design /

Vydáno 1987

The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution /

Autor Carpenter, Bob.
Vydáno 1992

Logic Programming /

Vydáno 1982

Alan Turing : his work and impact /

Vydáno 2013