Marvin L. Bittinger. Logic, proof, and sets. Second edition. Addison-Wesley Publishing Company, Reading, Mass., etc., 1982, viii + 131 pp [Book Review]

Journal of Symbolic Logic 50 (3):860-862 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274346

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,532

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Zohar Manna and Richard Waldinger. The logical basis for computer programming. Volume I. Deductive reasoning. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1985, xii + 618 pp. - Zohar Manna and Richard Waldinger. The logical basis for computer programming. Volume II. Deductive systems. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xiii + 642 pp. [REVIEW]Hans Klene Buning - 1995 - Journal of Symbolic Logic 60 (4):1326-1327.
Heikki Mannila and Kari-Jouko Räihä. The design of relational databases. Addison-Wesley Publishing Company, Wokingham, England, and Reading, Mass., etc., 1992, vii + 318 pp. - Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of databases. Addison-Wesley Publishing Company, Reading, Mass., etc., 1995, xviii + 685 pp. - Paris C. Kanellakis. Elements of relational database theory. Handbook of theoretical computer science, Volume B, Formal models and semantics, edited by Jan van Leeuwen, Elsevier, Amsterdam, etc., and The MIT Press, Cambridge, Mass., 1990, pp. 1073–1156. [REVIEW]J. A. Makowsky - 1997 - Journal of Symbolic Logic 62 (1):324-326.
Bourbaki Nicolas . Theory of sets. Elements of mathematics. English translation of XXXVII 636, XL 289. Hermann, Publishers in Arts and Science, Paris, and Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, Don Mills, Ontario, 1968, VIII + 414 pp. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):630-631.
Torng H. C.. Introduction to the logical design of switching systems. Addison-Wesley series in electrical engineering. Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, 1964, xii + 286 pp.Zacharov Basil. Digital systems logic and circuits. American Elsevier Publishing Company, Inc., New York 1968, xv + 160 pp.Ryan Ray. Basic digital electronics—Understanding number systems, Boolean algebra, & logic circuits. Tab Books, Blue Ridge Summit, Pa., 1975, 210 pp. [REVIEW]H. B. Enderton - 1976 - Journal of Symbolic Logic 41 (2):549-550.
Whitesitt J. Eldon. Boolean algebra and its applications. Addison-Wesley Publishing Company, Reading, Mass., and London, 1961, x + 182 pp. [REVIEW]Thomas H. Mott - 1962 - Journal of Symbolic Logic 27 (1):103-104.
Review: Marvin L. Bittinger, Logic, Proof, and Sets. [REVIEW]Anne Leggett - 1985 - Journal of Symbolic Logic 50 (3):860-862.
Logical foundations of functional programming, edited by Huet Gérard, The UT year of programming series, Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xvi + 491 pp. [REVIEW]Karl Meinke - 1994 - Journal of Symbolic Logic 59 (4):1439-1441.
P. S. Novikov. Elements of mathematical logic. English translation of XXX 356 by Leo F. Boron, with a preface and notes by R. L. Goodstein. Oliver & Boyd, Edinburgh and London, and Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, and London, 1964, xi + 296 pp. [REVIEW]Gert H. Müller - 1966 - Journal of Symbolic Logic 31 (4):672-672.
Logic, Proof, and Sets.Marvin L. Bittinger - 1985 - Journal of Symbolic Logic 50 (3):860-862.
E. R. Stabler. An introduction to mathematical thought. Addison-Wesley Publishing Company, Inc., Cambridge, Mass., 1953, xviii + 268 pp. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (3):288-289.
Yu. V. Matiyasevich. Desyataya problema Gil'berta. Russian original of the preceding. Matematicheskaya logika i osnovaniya matematiki. VO “Nauka,” Moscow1993, 223 pp. - Christos H. Papadimitriou. Computational complexity. Addison-Wesley Publishing Company, Reading, Mass., etc., 1994, xv + 523 pp. [REVIEW]Neil Immerman - 1997 - Journal of Symbolic Logic 62 (2):677-678.
Logic and Proof.Marvin L. Bittinger - 1970 - Addison Wesley Publishing Company.
Skyrms Brian. Choice and chance. An introduction to inductive logic. Dickenson Publishing Company, Inc., Belmont, California, 1966, viii + 165 pp.; second revised and expanded edition, Dickenson Publishing Company, Inc., Encino and Belmont, California, 1975, xi + 220 pp. [REVIEW]David F. Siemens - 1976 - Journal of Symbolic Logic 41 (2):547-548.
Gaisi Takeuti. Proof theory. Studies in logic and the foundations of mathematics, vol. 81. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, vii + 372 pp. - Gaisi Takeuti. Proof theory. Second edition of the preceding. Studies in logic and the foundations of mathematics, vol. 81. North-Holland, Amsterdam etc. 1987, x + 490 pp. - Georg Kreisel. Proof theory: some personal recollections. Therein, pp. 395–405. - Wolfram Pohlers. Contributions of the Schütte school in Munich to proof theory. Therein, pp. 406–431. - Stephen G. Simpson. Subsystems of Z2 and reverse mathematics. Therein, pp. 432–446. - Soloman Feferman. Proof theory: a personal report. Therein, pp. 447–485. [REVIEW]Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094.
A philosophical companion to first-order logic, edited by R. I. G. Hughes, Hackett Publishing Company, Indianapolis and Cambridge, Mass., 1993, viii + 309 pp. [REVIEW]George F. Schumm - 1995 - Journal of Symbolic Logic 60 (2):684-685.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,185,833)

6 months
1 (#1,470,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references