Adrian Carpentier M.. Creative sequences and double sequences. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 35–61 [Book Review]

Journal of Symbolic Logic 35 (4):590-590 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271484

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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: M. Adrian Carpentier, Creative Sequences and Double Sequences. [REVIEW]J. P. Cleave - 1970 - Journal of Symbolic Logic 35 (4):590-590.
Creative sequences and double sequences.M. Adrian Carpentier - 1968 - Notre Dame Journal of Formal Logic 9 (1):35-61.
Cresswell M. J.. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 , pp. 186–190.Cresswell M. J.. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 339–345.Cresswell M. J.. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 62–66. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
Ashworth E. J.. Propositional logic in the sixteenth and early seventeenth centuries. Notre Dame journal of formal logic, vol. 9 no. 2 , pp. 179–192.Ashworth E. J.. Petrus Fonseca and material implication. Notre Dame journal of formal logic, vol. 9 no. 3 , pp. 227–228. [REVIEW]Martin M. Tweedale - 1971 - Journal of Symbolic Logic 36 (2):323-324.
Itay Neeman. Forcing with sequences of models of two types. Notre Dame Journal of Formal Logic, vol. 55 , pp. 265–298. [REVIEW]Dima Sinapova - 2015 - Bulletin of Symbolic Logic 21 (3):339-341.
John T. Kearns. Quantifiers and universal validity. Logique et analyse, n.s. vol. 9 , pp. 298–309. - George Goe. A reconstruction of formal logic. Notre Dame journal of formal logic, vol. 7 , pp. 129–157. - George Goe. Corrections to my paper “A reconstruction of formal logic.”Notre Dame journal of formal logic, vol. 7 , p. 158. [REVIEW]Theodore Hailperin - 1968 - Journal of Symbolic Logic 33 (1):137-138.
H. B. Enderton. On provable recursive functions. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 86–88.Hartley Rogers - 1973 - Journal of Symbolic Logic 38 (3):526-527.
M. D. Gladstone. On the number of variables in the axioms. Notre Dame journal of formal logic, vol. 11 , pp. 1–15.Ronald Harrop - 1972 - Journal of Symbolic Logic 37 (4):755-756.
Guido Küng. Bibliography of Soviet work in the field of mathematical logic and the foundations of mathematics, from 1917–1957. Notre Dame journal of formal logic, vol. 3, pp. 5–40. - I. M. Bocheński. Preface. Notre Dame journal of formal logic, vol. 3, pp. 1–4. [REVIEW]E. M. Fels - 1963 - Journal of Symbolic Logic 28 (3):253-254.
An Undecidable Property of Recurrent Double Sequences.Mihai Prunescu - 2008 - Notre Dame Journal of Formal Logic 49 (2):143-151.

Analytics

Added to PP
2016-06-30

Downloads
2 (#1,819,493)

6 months
13 (#219,908)

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