Order: Listing date First author Impact Pub year Relevance Downloads Order
A Mathematical Introduction to Logic. Herbert Bruce Enderton 1972 - New York: Academic Press. details Finite Partially‐Ordered Quantifiers. Herbert B. Enderton 1970 - Mathematical Logic Quarterly 16 (8):393-397. details Second-order and higher-order logic. Herbert B. Enderton 2008 - Stanford Encyclopedia of Philosophy . details Computability Theory: An Introduction to Recursion Theory. Herbert B. Enderton 2010 - Academic Press. details A note on the hyperarithmetical hierarchy. H. B. Enderton Hilary Putnam 1970 - Journal of Symbolic Logic 35 (3):429-430. details Faure Robert with the collaboration of LeGarff Nicole-Sylvie Guillot and Bloch Manue. Eléments de la recherche opérationnelle. Exposé succinct des méthodes, enrichi de 50 exercices et problèmes, presque tous résolus, et de 10 programmes en langage symbolique. Gauthier-Villars, Paris 1968, 317 pp. [REVIEW] H. B. Enderton 1970 - Journal of Symbolic Logic 35 (3):483. details Review: Manuel Blum, On the Size of Machines. [REVIEW] H. B. Enderton 1972 - Journal of Symbolic Logic 37 (1):199-200. details Anita burdman Feferman. From Trotsky to gödel. The life of Jean Van heijenoort. Paperbound reprint with altered title of jsl lviii 1465. A K Peters, natick, mass., 2001, XV + 415 pp. [REVIEW] H. B. Enderton 2002 - Bulletin of Symbolic Logic 8 (1):104-104. details Set Theory. H. B. Enderton 1975 - Journal of Symbolic Logic 40 (4):629-630. details H. H. LoomsJr., and R. H. WymanJr., On complete sets of logic primitives. IEEE transactions on electronic computers, vol. EC-14 , pp. 173–174. [REVIEW] H. B. Enderton 1970 - Journal of Symbolic Logic 35 (1):160. details An infinitistic rule of proof. H. B. Enderton 1967 - Journal of Symbolic Logic 32 (4):447-451. details Vladimir A. Uspensky. Godel's incompleteness theorem. A reprint of LV 889 with minor corrections. Theoretical computer science, vol. 130 , pp. 239–319. [REVIEW] H. B. Enderton 1995 - Journal of Symbolic Logic 60 (4):1320. details Richard L. Poss. A note on a lemma of J. W. Addison. Notre Dame journal of formal logic, vol. 11 , pp. 337–339. H. B. Enderton 1973 - Journal of Symbolic Logic 38 (2):334-334. details Wilfrid Hodges. Elementary predicate logic. Handbook of philosophical logic, Volume I, Elements of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 1–131. [REVIEW] H. B. Enderton 1989 - Journal of Symbolic Logic 54 (3):1089-1090. details Julia Robinson. Diophantine decision problems. Studies in number theory, edited by W. J. LeVeque, Studies in mathematics, vol. 6, The Mathematical Association of America, Washington, D.C., distributed by Prentice-Hall, Inc., Englewood Cuffs, New Jersey, 1969, pp. 76–116. [REVIEW] H. B. Enderton 1972 - Journal of Symbolic Logic 37 (3):603. details Martin D. Davis, Ron Sigal, and Elaine J. Weyuker. Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing. Academic Press, Boston, San Diego, New York, etc., 1994, xix + 609 pp. [REVIEW] H. B. Enderton 1996 - Journal of Symbolic Logic 61 (2):703-704. details 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. details Mostowski A.. A class of models for second order arithmetic. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 , pp. 401–404.Mostowski A.. Formal system of analysis based on an infinitistic rule of proof. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 141–166. [REVIEW] H. B. Enderton 1969 - Journal of Symbolic Logic 34 (1):128-129. details Cumulative index to volumes 27–55. H. B. Enderton 1990 - Journal of Symbolic Logic 55 (4):1329-1329. details Martin Davis and Hilary Putnam. Diophantine sets over polynomial rings. Illinois journal of mathematics, vol. 7 , pp. 251–256. [REVIEW] H. B. Enderton 1972 - Journal of Symbolic Logic 37 (3):602-603. details George F. H.. Automation cybernetics and society. Leonard Hill [Books] Ltd., London 1959, 283 pp. [REVIEW] H. B. Enderton 1971 - Journal of Symbolic Logic 36 (3):544. details Computability. An Introduction to Recursive Function Theory. H. B. Enderton 1987 - Journal of Symbolic Logic 52 (1):292-293. details Association for Symbolic Logic. Jon Barwise Howard S. Becker Chi Tat Chong Herbert B. Enderton Michael Hallett C. Ward Henson Harold Hodes Neil Immerman Phokion Kolaitis Alistair Lachlan 1998 - Bulletin of Symbolic Logic 4 (4):465-510. details Review: A. Ehrenfeucht, Separable Theories. [REVIEW] H. B. Enderton 1969 - Journal of Symbolic Logic 34 (1):127-127. details Richard L. Epstein. Classical mathematical logic. The semantic foundations of logic. With contributions by Lesław W. Szczerba. Princeton University Press, Princeton and Oxford, 2006, xxii + 522 pp. [REVIEW] H. B. Enderton 2007 - Bulletin of Symbolic Logic 13 (4):540-541. details Review: Martin Davis, Hilary Putnam, Diophantine Sets Over Polynomial Rings. [REVIEW] H. B. Enderton 1972 - Journal of Symbolic Logic 37 (3):602-603. details Review: Martin Davis, Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem. [REVIEW] H. B. Enderton 1972 - Journal of Symbolic Logic 37 (3):602-602. details Review: Martin Davis, Computability & Unsolvability; Martin Davis, Hilbert's Tenth Problem is Unsolvable. [REVIEW] H. B. Enderton 1987 - Journal of Symbolic Logic 52 (1):294-294. details REVIEWS-Classical mathematical logic. R. Epstein H. B. Enderton 2007 - Bulletin of Symbolic Logic 13 (4). details REVIEWS-From Trotsky to Godel. A. Feferman H. B. Enderton 2002 - Bulletin of Symbolic Logic 8 (1):104-104. details Sheldon B. AkersJr., On the algebraic manipulation of majority logic. IRE transactions on electronic computers, vol. EC-10 , p. 779. [REVIEW] H. B. Enderton 1971 - Journal of Symbolic Logic 36 (1):164. details Meeting of the association for symbolic logic: Berkeley, 1983. J. W. Addison H. B. Enderton 1984 - Journal of Symbolic Logic 49 (1):322-326. details J. Barkley Rosser. Logic for mathematicians. Second edition of XVIII 326. Chelsea Publishing Company, New York1978, xv + 574 pp. [REVIEW] H. B. Enderton 1980 - Journal of Symbolic Logic 45 (3):631-632. details Lin Shen and Rado Tibor. Computer studies of Turing machine problems. Journal of the Association for Computing Machinery, vol. 12 , pp. 196–212.Brady Allen H.. The conjectured highest scoring machines for Rado's Σ for the value k = 4. IEEE transactions on electronic computers, vol. EC-15 , pp. 802–803.Green Milton W.. A lower bound on Rado's sigma function for binary Turing machines. Switching circuit theory and logical design, Proceedings of the Fifth Annual Symposium, Princeton University, Princeton, N.J., November 11-13, 1964, The Institute of Electrical and Electronics Engineers, Inc., New York 1964, pp. 91–94. [REVIEW] H. B. Enderton 1975 - Journal of Symbolic Logic 40 (4):617-617. details Dennis Sentilles. A bridge to advanced mathematics. The Williams & Wilkins Company, Baltimore1975, xiii + 387 pp. [REVIEW] H. B. Enderton 1976 - Journal of Symbolic Logic 41 (3):699-700. details The Columbia history of western philosophy, edited by Richard H. Popkin, Columbia University Press, New York1999, xxvi + 836 pp. [REVIEW] H. B. Enderton 1999 - Journal of Symbolic Logic 64 (1):396. details Shaligram Singh. The independence of a strong axiom of choice. The mathematical gazette, vol. 46 , pp. 126–129. H. B. Enderton 1973 - Journal of Symbolic Logic 38 (2):335. details Nigel Cutland. Computabitity. An introduction to recursive function theory. Cambridge University Press, Cambridge etc. 1980, x + 251 pp. [REVIEW] H. B. Enderton 1987 - Journal of Symbolic Logic 52 (1):292-293. details Anita Burdman Feferman. Politics, logic, and love. The life of Jean van Heijenoort. Jones and Bartlett Publishers, Boston and London, and A K Peters, Wellesley, Mass., 1993, xv + 415 pp. - Solomon Feferman. Jean van Heijenoort's scholarly work, 1948–1986. Therein, pp. 371–390. [REVIEW] H. B. Enderton 1993 - Journal of Symbolic Logic 58 (4):1465-1466. details Review: Nigel Cutland, Computability. An Introduction to Recursive Function Theory. [REVIEW] H. B. Enderton 1987 - Journal of Symbolic Logic 52 (1):292-293. details Morton L. Schagrin. The language of logic. A programed text. Random House, New York1968, vii + 247 pp. [REVIEW] H. B. Enderton 1974 - Journal of Symbolic Logic 39 (3):612. details Review: Keith Devlin, The Joy of Sets. Fundamentals of Contemporary Set Theory. [REVIEW] H. B. Enderton 1994 - Journal of Symbolic Logic 59 (4):1441-1442. details L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson. Introduction. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. Ščedrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. vii–xii. [REVIEW] H. B. Enderton 1990 - Journal of Symbolic Logic 55 (2):867-868. details Introduction to the Logical Design of Switching Systems.Digital Systems Logic and Circuits.Basic Digital Electronics--Understanding Number Systems, Boolean Algebra, & Logic Circuits. [REVIEW] H. B. Enderton H. C. Torng Basil Zacharov Ray Ryan 1976 - Journal of Symbolic Logic 41 (2):549. details Kuratowski K. and Mostowski A.. Set theory. English translation of XL 649 by Maczynski M.. PWN—Polish Scientific Publishers, Warsaw, and North-Holland Publishing Company, Amsterdam, 1968, xi + 417 pp. [REVIEW] H. B. Enderton 1975 - Journal of Symbolic Logic 40 (4):629-630. details F. D. Parker. Boolean matrices and logic. Mathematics magazine, vol. 37 , pp. 33–38. - Hugh G. Campbell. Linear algebra with applications including linear programming. Appleton-Century-Crofts, Educational Division, Meredith Corporation, New York 1971, xiii + 396 + A45 pp. [REVIEW] H. B. Enderton 1975 - Journal of Symbolic Logic 40 (4):614-615. details Andreas Blass. Near coherence of filters, 1: cofinal equivalence of models of arithmetic. Notre Dame journal of formal logic, vol. 27 , pp. 579–591. [REVIEW] H. B. Enderton 1993 - Journal of Symbolic Logic 58 (1):350. details Ehrenfeucht A.. Separable theories. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 , pp. 17–19. [REVIEW] H. B. Enderton 1969 - Journal of Symbolic Logic 34 (1):127-127. details Meeting of the Association for Symbolic Logic. J. W. Addison H. B. Enderton 1984 - Journal of Symbolic Logic 49 (1):322-326. details Review: H. H. Loomis, R. H. Wyman, On Complete Sets of Logic Primitives. [REVIEW] H. B. Enderton 1970 - Journal of Symbolic Logic 35 (1):160-160. details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed
