Lectures on the logic of computer programming /

Logicism renewed : logical foundations for mathematics and computer science, lecture notes in logic 23 /
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)

Hanbdook of logic in computer science.
Published: (2020)

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Published: (1982)

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Published: (1986)

Logic of programs : workshop, ETH Zürich, May-July 1979 /
Published: (1981)

Elements of mathematical logic (Model theory)
by: Kreisel, Georg, et al.
Published: (1967)

A survey of mathematical logic /
Published: (1963)

The Notre Dame lectures /
Published: (2005)

Mechanical logic in three-dimensional space /
by: Auletta, Gennaro
Published: (2013)

Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (1983)

A survey of symbolic logic,
by: Lewis, Clarence Irving, 1883-1964
Published: (1918)

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Published: (1989)

Annals of pure and applied logic.

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
Published: (1968)

Something to reckon with : the logic of terms /
by: Englebretsen, George
Published: (1996)

Logic of domains /
by: Zhang, Guo-Qiang, 1960-
Published: (1991)

Mathematical logic /
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (2001)

Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 /
Published: (2004)

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Published: (1983)

Proof and computation /
Published: (1995)

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 /
Published: (1990)

Computability, complexity, logic /
by: Börger, E. (Egon), 1946-
Published: (1989)

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Published: (1989)

Collected works /
by: Gödel, Kurt,4eauthor
Published: (2023)

Realizability : an introduction to its categorical side /
by: Oosten, Jaap van
Published: (2008)

Relation, formule logique, compacité, complétude / par Roland Fraïssé.
by: Fraïssé, Roland
Published: (1967)

Handbook of mathematical logic /
Published: (1977)

The norm of truth : an introduction to the philosophy of logic /
by: Engel, Pascal, 1954-
Published: (1991)

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
Published: (1988)

Fuzzy logic and mathematics : a historical perspective /
by: Bělohlávek, Radim
Published: (2017)

Proceedings of the Second Scandinavian Logic Symposium
Published: (1971)

A tour through mathematical logic /
by: Wolf, Robert S.
Published: (2005)

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Published: (1982)

First-order dynamic logic /
by: Harel, David, 1950-
Published: (1979)

Intensional and higher-order modal logic : with applications to Montague semantics /
by: Gallin, Daniel
Published: (1975)

A computational logic handbook /
by: Boyer, Robert S.
Published: (1988)