Logic and algorithms, with applications to the computer and information sciences /

Logic and algorithms, with applications to the computer and information sciences /

41

Bibliographic Details
Main Author:	377689 Korfhage, Robert R.
Format:
Published:	New York : J. Wiley, 1966
Subjects:	Logic, Symbolic and mathematical Algorithms

Similar Items

Logic for computer science /
by: 318694 Reeves, Steve, et al.
Published: (1990)

Mathematical logic for computer science /
by: 288973 Ben-Ari, Mordechai
Published: (2003)

Logic for mathematics and computer science /
by: 392348 Burris, Stanley N.
Published: (1998)

Mathematical logic and computability /
by: 404540 Keisler, H. Jerome, et al.
Published: (1996)

Logic, methodology and philosophy of science IV : proceedings /
by: International Congress for Logic, Methodology and Philosophy of Science (4th : 1971 : Bucharest, Rumania), et al.
Published: (1973)

Mathematical logic and computability / [disket]
by: 404540 Keisler, H. Jerome, et al.
Published: (1996)

Mathematical logic, the theory of algorithms and theory of sets /
by: Adjan, S.
Published: (1977)

Logic, automato, and algorithms /
by: Aiserman, Mark A.
Published: (1971)

Logic for computer scientists /
by: 316142 Schoning, Uwe
Published: (2008)

Advanced logic for applications /
by: 199241 Grandy, Richard E.
Published: (1977)

Mathematical logic : applications and theory /
by: 461395 Rubin, Jean E.
Published: (1990)

Mathematical logic /
by: 307997 Shoenfield, Joseph Robert
Published: (1967)

Theory of algorithms
by: 343656 Markov, A. A.
Published: (1962)

Understanding Mathematical Logic and its Applications /
by: Swafford, Brenden, author 648092
Published: (2012)

Combinatory logic /
by: 351193 Curry, Haskell Brooks, et al.
Published: (1974)

Logic, sets, and recursion /
by: 332434 Causey, Robert L.
Published: (2006)

Algorithmics : theory and practice /
by: 357089 Brassard, Gilles, et al.
Published: (1988)

Mathematical logic in computer science /
by: Domolki, B., et al.
Published: (1981)

Introduction to mathematical logic : set theory computable functions model theory /
by: Malitz, J
Published: (1979)

Logic, language, information and computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 : proceedings /
by: Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.), et al.
Published: (2008)

Dictionary of symbols of mathematical logic /
by: Feys, Robert, et al.
Published: (1973)

Mathematical logic /
by: Goodstein, R. L. (Reuben Louis)
Published: (1957)

Logic in elementary mathematics /
by: 375744 Exner, Robert M., et al.
Published: (1959)

Logic as algebra /
by: 181502 Halmos, Paul, et al.
Published: (1998)

Computability and logic /
by: 386993 Boolos, George, et al.
Published: (1974)

Logic functions and equations : binary models for computer science /
by: 229947 Posthoff, Christian, et al.
Published: (2004)

The mathematics of logic : a guide to completeness theorems and their applications /
by: 186853 Kaye, Richard
Published: (2007)

Logic /
by: 344312 Earle, Nick
Published: (1973)

Logic for computer science : foundations of automatic theorem proving /
by: 455116 Gallier, Jean H.
Published: (1986)

Logic : a foundation for computer science /
by: 307739 Sperschneider, V., et al.
Published: (1993)

Proceedings of Logic Colloquium /
by: 467457 Logic Colloquium, et al.
Published: (1969)

Logic of mathematics : a modern course of classical logic /
by: 454206 Adamowicz, Zofia, et al.
Published: (1997)

Mathematical logic /
by: 219920 Ebbinghaus, Heinz-Dieter, et al.
Published: (1994)

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

logic for mathematicians /
by: 341990 Rosser, J. Barkley
Published: (1953)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1973)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1979)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1954)

Symbolic logic /
by: 389685 Grunberg, Teo
Published: (1972)

Introduction to logic /
by: 299767 Copi, Irving M., et al.
Published: (1998)