Kathleen Levitz and Hilbert Levitz. Logic and Boolean algebra. Barron's Educational Series, Inc., Woodbury, N.Y., 1979, viii + 132 pp [Book Review]

Journal of Symbolic Logic 46 (2):420-421 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273637

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

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

Review: Kathleen Levitz, Hilbert Levitz, Logic and Boolean Algebra. [REVIEW]Diane Resek - 1981 - Journal of Symbolic Logic 46 (2):420-421.
Logic and Boolean Algebra.Diane Resek - 1981 - Journal of Symbolic Logic 46 (2):420-421.
An ordered set of arithmetic functions representing the least ε‐number.Hilbert Levitz - 1975 - Mathematical Logic Quarterly 21 (1):115-120.
Review: Helmut Pfeiffer, Ein Bezeichnungssystem fur Ordinalzahlen. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (2):342-342.
Review: Akiko Kino, On Ordinal Diagrams. [REVIEW]Hilbert Levitz - 1972 - Journal of Symbolic Logic 37 (1):192-192.
Calculation of an Order Type: An application of Non‐Standard Methods.Hilbert Levitz - 1982 - Mathematical Logic Quarterly 28 (14‐18):219-228.
A Natural Variant of Ackermann's Function.Hilbert Levitz & Warren Nichols - 1988 - Mathematical Logic Quarterly 34 (5):399-401.
A simplification of takeuti's ordinal diagrams of finite order.Hilbert Levitz - 1969 - Mathematical Logic Quarterly 15 (7‐12):141-154.
Decidability of some problems pertaining to base 2 exponential diophantine equations.Hilbert Levitz - 1985 - Mathematical Logic Quarterly 31 (7‐8):109-115.
Review: Helmut Pfeiffer, Vergleich zweier Bezeichnungssysteme fur Ordinalzaklen. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (2):342-343.
Review: Harvey Gerber, An Extension of Schutte's Klammer-Symbols. [REVIEW]Hilbert Levitz - 1969 - Journal of Symbolic Logic 34 (4):655-655.
Review: I. N. Hlodovskii, Moshe Machover, A New Proof of the Consistency of Arithmetic. [REVIEW]Hilbert Levitz - 1967 - Journal of Symbolic Logic 32 (1):127-128.
A Macro Program for the Primitive Recursive Functions.Hilbert Levitz, Warren Nichols & Robert F. Smith - 1991 - Mathematical Logic Quarterly 37 (8):121-124.
Eine Rekursive Universelle Funktion Für Die Primitiv‐Rekursiven Funktionen.Hilbert Levitz & Warren Nichols - 1987 - Mathematical Logic Quarterly 33 (6):527-535.
Kino Akiko. On ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 13 , pp. 346–356.Hilbert Levitz - 1972 - Journal of Symbolic Logic 37 (1):192-192.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,201,046)

6 months
3 (#984,719)

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