An introduction to mathematical machine theory /

An introduction to mathematical machine theory /

58

Bibliographic Details
Main Author:	365761 Ginsburg, Seymour
Format:
Published:	Reading, Mass. : Addison-Wesley, 1962
Subjects:	Electronic data processing Mathematical models Robots Logic, Symbolic and mathematical

Similar Items

Introduction to mathematical logic /
by: 411257 Church, Alonzo
Published: (1956)

An introduction to mathematical thought /
by: Stabler, Edward Russell, 1906-
Published: (1953)

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

How to read and do proofs : an introduction to mathematical thought processes /
by: 419318 Solow, Daniel
Published: (1990)

An algebraic introduction to mathematical logic /
by: 390016 Barnes, Donald W., et al.
Published: (1975)

The theory of models : proceedings /
by: 389695 Addison, J. W., et al.
Published: (1975)

Mathematical logic /
by: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), et al.
Published: (1978)

Languages, logic and mathematics /
by: Kilmister, C. W. (Clive William)
Published: (1967)

Mathematical foundation of programming /
by: 390126 Beckman, Frank S.
Published: (1980)

Principles of mathematical logic /
by: 174681 Hilbert, David, et al.
Published: (1950)

Foundations of mathematical logic /
by: 351193 Curry, Haskell Brooks
Published: (1977)

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

Logic in mathematics : an elementary approach /
by: 285503 Hallerberg, Arthur Edward
Published: (1974)

Algebraic methods of mathematical logic /
by: 404014 Reiger, Ladislav
Published: (1967)

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

Introduction to symbolic logic /
by: 389591 Basson, A. H., et al.
Published: (1957)

Introduction to symbolic logic /
by: 386873 Smith, Karl J.
Published: (1991)

An introduction to symbolic logic /
by: 200716 Langer, Susanne Katherina
Published: (1967)

Introduction to symbolic logic /
by: 197411 Pullum, Laura L.
Published: (1969)

Introduction to symbolic logic /
by: 386873 Smith, Karl J.
Published: (1974)

Transition to higher mathematics : structure and proof /
by: 222490 Dumas, Bob A., et al.
Published: (2007)

Cambridge summer school in mathematical logic /
by: Mathias, A. R. D., et al.
Published: (1973)

Proceedings of the summer school and colloqium in mathematical logic /
by: Logic Colloqium '69 : Proceedings of the summer school and colloqium in mathematical logic (August, 1969 : Manchester), et al.
Published: (1969)

Foundations: essays in philosophy, logic, mathematical and economics /
by: 404203 Ramsey, Frank Plumpton
Published: (1978)

Mathematics for a liberal education /
by: 339683 Ohmer, Merlin M.
Published: (1971)

A profile of mathematical logic /
by: 435241 Delong, Howard
Published: (1970)

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

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

The logical and set-theoretical foundations of mathematics /
by: 339363 Zulauf, Achim
Published: (1969)

The foundation of mathematics and other logical essays /
by: 404203 Ramsey, Frank Plumpton, et al.
Published: (1931)

Frege and Godel : rwo fundamental texts in mathematical logic /
by: Van Heijenoort, Jean
Published: (1970)

Conference in Mathematical Logic, Bedford College, London, 24-28th Aug, 1970 : Proceedings /
by: Conference in Mathematical Logic (1970 : Bedford College, London), et al.
Published: (1972)

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa /
by: De Alcantara, Luiz Paulo
Published: (1985)

Logica universalis : towards a general theory of logic /
by: Beziau, Jean-Yves
Published: (2007)

Mathematical theory of program correctness /
by: 406367 Bakker, Jaco de
Published: (1980)

How to read and do proofs : an introduction to mathematical thought processes /
by: 419318 Solow, Daniel
Published: (2005)

Schaum's outline of theory and problems of discrete mathematics /
by: 361304 Lipschutz, Seymour
Published: (1976)

Foundations : logic, language and mathematics /
by: Leblanc, Hugues, 1924-, et al.
Published: (1984)

Visualization, explanation and reasoning styles in mathematics /
by: Mancosu, Paolo, et al.
Published: (2005)

Logic design theory /
by: Biswas, Nripendra Nath, 1928-
Published: (1993)