Yes--no, stop--go : some patterns in mathematical logic /
A brief introduction to switching patterns in mathematical logic.
| Main Author: | Gersting, Judith L. |
|---|---|
| Other Authors: | Kuczkowski, Joseph E., Madden, Don, 1927- |
| Format: | Book |
| Language: | English |
| Published: |
New York :
Crowell,
[1977]
|
| Subjects: |
Similar Items
Introduction to reasoning and proof : grades 3-5 /
by: Schultz-Ferrell, Karren
Published: (2007)
by: Schultz-Ferrell, Karren
Published: (2007)
Introductory formal logic of mathematics.
by: Nidditch, P. H.
Published: (1957)
by: Nidditch, P. H.
Published: (1957)
Elements of logic and foundations of mathematics in problems /
by: Marek, Wiktor
Published: (1982)
by: Marek, Wiktor
Published: (1982)
Mathematical logic : an introduction to model theory /
by: Lightstone, A. H.
Published: (1978)
by: Lightstone, A. H.
Published: (1978)
An introduction to mathematical logic and type theory : to truth through proof /
by: Andrews, P. B. (Peter Bruce), 1937-
Published: (1986)
by: Andrews, P. B. (Peter Bruce), 1937-
Published: (1986)
An introduction to mathematical logic and type theory : to truth through proof /
by: Andrews, P. B. (Peter Bruce), 1937-
Published: (2002)
by: Andrews, P. B. (Peter Bruce), 1937-
Published: (2002)
Logic colloquium '02: lecture notes in logic 27 : lecture notes in logic 27 /
Published: (2006)
Published: (2006)
Logic colloquium '99 : lecture notes in logic 17 /
Published: (2004)
Published: (2004)
Retracing elementary mathematics /
by: Henkin, Leon
Published: (1962)
by: Henkin, Leon
Published: (1962)
Logic colloquium 2000 (hardcover) : lecture notes in logic, 19 /
Published: (2005)
Published: (2005)
Mathematical logic.
by: Goodstein, R. L. (Reuben Louis)
Published: (1957)
by: Goodstein, R. L. (Reuben Louis)
Published: (1957)
Les techniques binaires et le traitement de l'information /
by: Soubies-Camy, Henri, 1920-
Published: (1966)
by: Soubies-Camy, Henri, 1920-
Published: (1966)
A bridge to higher mathematics /
by: Deaconu, Valentin, et al.
Published: (2017)
by: Deaconu, Valentin, et al.
Published: (2017)
Perspectives on the history of mathematical logic /
Published: (2008)
Published: (2008)
Proof, logic, and formalization /
Published: (1992)
Published: (1992)
Introduction to mathematical proofs /
by: Roberts, Charles
Published: (2014)
by: Roberts, Charles
Published: (2014)
Lectures in logic and set theory /
by: Tourlakis, George J.
Published: (2003)
by: Tourlakis, George J.
Published: (2003)
Logic, proof, and sets /
by: Bittinger, Marvin L.
Published: (1982)
by: Bittinger, Marvin L.
Published: (1982)
A course in mathematical logic /
by: Bell, J. L. (John Lane)
Published: (1977)
by: Bell, J. L. (John Lane)
Published: (1977)
Fundamentals of mathematical logic /
by: Hinman, Peter G.
Published: (2005)
by: Hinman, Peter G.
Published: (2005)
Mathematical logic /
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (1967)
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (1967)
Mathematical logic /
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1994)
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1994)
Mathematical logic.
by: Ponasse, Daniel
Published: (1973)
by: Ponasse, Daniel
Published: (1973)
Mathematical logic /
by: Chiswell, Ian, 1948-
Published: (2007)
by: Chiswell, Ian, 1948-
Published: (2007)
Mathematical logic /
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1984)
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1984)
Mathematical logic /
by: Monk, J. Donald (James Donald), 1930-
Published: (1976)
by: Monk, J. Donald (James Donald), 1930-
Published: (1976)
Higher order logic theorem proving and its applications /
Published: (1993)
Published: (1993)
Logica universalis : towards a general theory of logic /
Published: (2007)
Published: (2007)
Conditional and preferential logics : proof methods and theorem proving /
by: Pozzato, Gian Luca
Published: (2010)
by: Pozzato, Gian Luca
Published: (2010)
Foundations of logic and mathematics : applications to computer science and cryptography /
by: Nievergelt, Yves
Published: (2002)
by: Nievergelt, Yves
Published: (2002)
Handbook of mathematical logic /
Published: (1977)
Published: (1977)
The game of logic /
by: Carroll, Lewis, 1832-1898
Published: (1887)
by: Carroll, Lewis, 1832-1898
Published: (1887)
Elements of mathematical logic (Model theory)
by: Kreisel, Georg, et al.
Published: (1967)
by: Kreisel, Georg, et al.
Published: (1967)
Mathematical logic.
by: Kleene, Stephen Cole, 1909-1994
Published: (1967)
by: Kleene, Stephen Cole, 1909-1994
Published: (1967)
Handbook of mathematical logic /
Published: (1977)
Published: (1977)
Introduction to mathematical logic /
by: Mendelson, Elliott
Published: (2010)
by: Mendelson, Elliott
Published: (2010)
Language, logic, and mathematics /
by: Kilmister, C. W. (Clive William)
Published: (1967)
by: Kilmister, C. W. (Clive William)
Published: (1967)
An introduction to mathematical logic /
by: Robison, Gerson B., 1909-
Published: (1969)
by: Robison, Gerson B., 1909-
Published: (1969)
Introduction to mathematical logic.
by: Mendelson, Elliott
Published: (1979)
by: Mendelson, Elliott
Published: (1979)
Principles of mathematical logic /
by: Hilbert, David, 1862-1943
Published: (1999)
by: Hilbert, David, 1862-1943
Published: (1999)