Lectures on the logic of computer programming /
| Main Author: | Manna, Zohar |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Philadelphia, Pa. :
Society for Industrial and Applied Mathematics,
1980.
|
| Series: | CBMS-NSF regional conference series in applied mathematics ;
31. |
| Subjects: | |
| Online Access: | Publisher description Table of contents only |
Similar Items
Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)
by: Metakides, George, 1945-
Published: (1996)
ACM transactions on computational logic.
Published: (2000)
Published: (2000)
Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
Published: (1994)
Published: (1994)
Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Published: (1987)
Published: (1987)
Logicism renewed : logical foundations for mathematics and computer science, lecture notes in logic 23 /
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)
Hanbdook of logic in computer science.
Published: (2020)
Published: (2020)
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Published: (1982)
Published: (1982)
Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Published: (1986)
Published: (1986)
Logic of programs : workshop, ETH Zürich, May-July 1979 /
Published: (1981)
Published: (1981)
Elements of mathematical logic (Model theory)
by: Kreisel, Georg, et al.
Published: (1967)
by: Kreisel, Georg, et al.
Published: (1967)
A survey of mathematical logic /
Published: (1963)
Published: (1963)
The Notre Dame lectures /
Published: (2005)
Published: (2005)
Mechanical logic in three-dimensional space /
by: Auletta, Gennaro
Published: (2013)
by: Auletta, Gennaro
Published: (2013)
Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (1983)
by: Dalen, D. van (Dirk), 1932-
Published: (1983)
A survey of symbolic logic,
by: Lewis, Clarence Irving, 1883-1964
Published: (1918)
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)
Published: (1989)
Annals of pure and applied logic.
Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
Published: (1968)
Published: (1968)
Something to reckon with : the logic of terms /
by: Englebretsen, George
Published: (1996)
by: Englebretsen, George
Published: (1996)
Logic of domains /
by: Zhang, Guo-Qiang, 1960-
Published: (1991)
by: Zhang, Guo-Qiang, 1960-
Published: (1991)
Mathematical logic /
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (2001)
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)
Published: (2004)
Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Published: (1983)
Published: (1983)
Proof and computation /
Published: (1995)
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)
Published: (1990)
Computability, complexity, logic /
by: Börger, E. (Egon), 1946-
Published: (1989)
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)
Published: (1989)
Collected works /
by: Gödel, Kurt,4eauthor
Published: (2023)
by: Gödel, Kurt,4eauthor
Published: (2023)
Realizability : an introduction to its categorical side /
by: Oosten, Jaap van
Published: (2008)
by: Oosten, Jaap van
Published: (2008)
Relation, formule logique, compacité, complétude / par Roland Fraïssé.
by: Fraïssé, Roland
Published: (1967)
by: Fraïssé, Roland
Published: (1967)
Handbook of mathematical logic /
Published: (1977)
Published: (1977)
The norm of truth : an introduction to the philosophy of logic /
by: Engel, Pascal, 1954-
Published: (1991)
by: Engel, Pascal, 1954-
Published: (1991)
Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
Published: (1988)
Published: (1988)
Fuzzy logic and mathematics : a historical perspective /
by: Bělohlávek, Radim
Published: (2017)
by: Bělohlávek, Radim
Published: (2017)
Proceedings of the Second Scandinavian Logic Symposium
Published: (1971)
Published: (1971)
A tour through mathematical logic /
by: Wolf, Robert S.
Published: (2005)
by: Wolf, Robert S.
Published: (2005)
Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Published: (1982)
Published: (1982)
First-order dynamic logic /
by: Harel, David, 1950-
Published: (1979)
by: Harel, David, 1950-
Published: (1979)
Intensional and higher-order modal logic : with applications to Montague semantics /
by: Gallin, Daniel
Published: (1975)
by: Gallin, Daniel
Published: (1975)
A computational logic handbook /
by: Boyer, Robert S.
Published: (1988)
by: Boyer, Robert S.
Published: (1988)