+ All Categories
Home > Documents > Further Citations

Further Citations

Date post: 16-Jan-2017
Category:
Upload: trandien
View: 214 times
Download: 1 times
Share this document with a friend
21
Further Citations Source: The Journal of Symbolic Logic, Vol. 37, No. 1 (Mar., 1972), pp. 204-223 Published by: Association for Symbolic Logic Stable URL: http://www.jstor.org/stable/2272631 . Accessed: 18/06/2014 18:11 Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp . JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. . Association for Symbolic Logic is collaborating with JSTOR to digitize, preserve and extend access to The Journal of Symbolic Logic. http://www.jstor.org This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PM All use subject to JSTOR Terms and Conditions
Transcript

Further CitationsSource: The Journal of Symbolic Logic, Vol. 37, No. 1 (Mar., 1972), pp. 204-223Published by: Association for Symbolic LogicStable URL: http://www.jstor.org/stable/2272631 .

Accessed: 18/06/2014 18:11

Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at .http://www.jstor.org/page/info/about/policies/terms.jsp

.JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range ofcontent in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new formsof scholarship. For more information about JSTOR, please contact [email protected].

.

Association for Symbolic Logic is collaborating with JSTOR to digitize, preserve and extend access to TheJournal of Symbolic Logic.

http://www.jstor.org

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

204 R".EVIEWS

justified not only on constructive, but on evidently predicative principles, in contrast to the theory of g.i.d. Even so, the straightforward model above in RA(cvOa+l) of the theory of ordinals considered in Hauptsatz 1 gives a sharper result than the reduction to el claimed by the author. G. KRESEL and J. ZucKm

GIUSEPPE PEANO. (Estratto) Operazioni della logica deduttiva. A reprint of pp. 1-20 of 711 with an Italian summary by Ugo Cassina. Opere scelte, by Giuseppe Peano, vol. II, Logica matematica interlingua ed algebra della grammatica, Edizioni Cremonese, Rome 1958, pp. 3-19.

GIUSEPPE PEANO. Arithmetices principia nova methodo exposita. A reprint of 712 with an Italian summary by Ugo Cassina. Ibid., pp. 20-55.

GIUSEPPE PEANO. I principii di geometria logicamente esposti. A reprint of 713 with an Italian summary by Ugo Cassina. Ibid., pp. 56-91.

GIUSEPPE PEANO. Principii di logica matematica. A reprint of 715 with an Italian summary by Ugo Cassina. Ibid., pp. 92-101.

GIUSEPPE PEANO. Formole di logica matematica. A reprint of 716 with an Italian summary by Ugo Cassina. Ibid., pp. 102-113.

GIUSEPPE PEANO. Recensione: E. Schroder, Vorlesungen uiber die Algebra der Logik. A reprint of 718 with an Italian summary by Ugo Cassina. Ibid., pp. 114-121.

GIUSEPPE PEANO. Un precursor della logica matematica. A reprint of 7113. Ibid., p. 122. GIUSEPPE PEANO. Notations de logique mathematique. Introduction au Formulaire de

mathematiques. A reprint of 7114 with an Italian summary by Ugo Cassina. Ibid., pp. 123-176.

GIUSEPPE PEANO. (Estratto) Logique mathematique. A reprint of pp. 1-7 and 127-129 of Formulaire de mathenmatiques (7117) with an Italian summary by Ugo Cassina. Ibid. pp. 177-188.

GIUSEPPE PEANO. Recensione: G. Frege, Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet. A reprint of 7119 with an Italian summary by Ugo Cassina. Ibid., pp. 189-195.

GIUSEPPE PEANO. Introduction au tome II du "Formulaire de Mathimatiques." A reprint of 7120 with an Italian summary by Ugo Cassina. Ibid., pp. 196-200.

GIUSEPPE PEANO. Studio di logica matematica. A reprint of 7124 with an Italian summary by Ugo Cassina. Ibid., pp. 201-217.

GIUSEPPE PEANO. Logique mathimatique. A reprint of 7121 with an Italian summary by Ugo Cassina. Ibid., pp. 218-281.

GIUSEPPE PEANO. Sulle formule di logica. A reprint of 7122 with an Italian summary by Ugo Cassina. Ibid., pp. 282-287.

GIUSEPPE PEANO. Recensione: E. Schroder, Ueber Pasigraphie etc. A reprint of 7129 with an Italian summary by Ugo Cassina. Ibid., pp. 297-303.

GIUSEPPE PEANO. Formules de logique mathematique. A reprint of 7134 with an Italian summary by Ugo Cassina. Ibid., pp. 304-361.

GIUSEPPE PEANO. Les definitions mathdmatiques. A reprint of 7138.1 with an Italian sum- mary by Ugo Cassina. Ibid., pp. 362-368.

GIUSEPPE PEANO. Dizionario di matematica. Parte prima, Logica matematica. A reprint of 7137 with an Italian summary by Ugo Cassina. Ibid., pp. 369-383.

GIUSEPPE PEANO. Delle proposizioni esistenziali. A reprint of 7149. Ibid., pp. 384-388. GIUSEPPE PEANO. Recensione: A. N. Whitehead and B. Russell, Principia mathematics. A

reprint of 7150 with an Italian summary by Ugo Cassina. Ibid., pp. 389-401. GIUSEPPE PEANO. Le definizioni per astrazione. A reprint of 7152 with an Italian summary

by Ugo Cassina. Ibid., pp. 402-416. GIUSEPPE PEANO. Sulprincipio d identitya. Ibid., pp. 417-418. (Reprinted from Bolettino

della "Mathesis," n.s. vol. 8 (1916), pp. 40-41.) GIUSEPPE PEANO. Eguale. With an Italian summary by Ugo Cassina. Ibid., pp. 419-

422. GIUSEPPE PEANO. Le definizioni in matematica. A reprint of 7152.1 with an Italian sum-

mary by Ugo Cassina. Ibid., pp. 423-435.

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

REVIEWS 205

GIUSEPPE PEANO. Sul concetto dinumero. A reprint of 717 with an Italian summary by Ugo Cassina. Opere scefte, by Giuseppe Peano, vol. III, Geometria e fondamenti meccanica razionale-varie, Edizioni Cremonese, Rome 1959, pp. 80-109.

GIUSEPPE PEANO. Suifondamenti della geometria. A reprint of 7112 with an Italian sum- mary by Ugo Cassina. Ibid., pp. 115-157.

GIUSEPPE PEANo. Analisi della teoria dei vettori. A reprint of 7128 with an Italian summary by Ugo Cassina. Ibid., pp. 187-207.

GIUSEPPE PEANO. (Estratto) Complementi alla teoria dei vettori secondo Peano. A reprint of pp. 176-183 of 7145 with an Italian summary by Ugo Cassina. Ibid., pp. 208-214.

GIUSEPPE PEANO. (Estratto) Ifondamenti dell 'aritmetica nelformulario del 1898. A reprint of pp. 1-15 of 7125 with an Italian summary by Ugo Cassina. Ibid., pp. 215-231.

GIUSEPPE PEANO. Sul ?2 del Formulario, t. II: Aritmetica. A reprint of 7127 with an Italian summary by Ugo Cassina. Ibid., pp. 232-248.

GIUSEPPE PEANO. Sui numeri irrazionali. A reprint of 7133 with an Italian summary by Ugo Cassina. Ibid., pp. 249-267.

GIUSEPPE PEANO. La geometric basata sulle idee di punto e distanza. A reprint of 7141 with an Italian summary by Ugo Cassina. Ibid., pp. 268-272.

GIUSEPPE PEANO. Sui fondamenti dell 'analisi. A reprint of 7146 with an Italian summary by Ugo Cassina. Ibid., pp. 273-280.

GIUSEPPE PEANO. Les propositions du cinquieme livre d 'Euclide riduites enformules. Ibid., pp. 323-324. (Reprinted from Mathesis, vol. 10 (1890), pp. 73-74.)

GIUSEPPE PEANO. Sommario dei libri VII, VIII e IXdiEuclide. Ibid., pp. 325-327. (Re- printed from Rivista di matematica, vol. 1 (1891), pp. 10-12.)

GIUSEPPE PEANO. Sommario del libro Xd 'Euclide. Ibid., pp. 331-335. (Reprinted from Rivista di matematica, vol. 2 (1892), pp. 7-11).

GIUSEPPE PEANO. Importanza dei simboli in matematica. A reprint of 7151. Ibid., pp. 389-396.

GIUSEPPE PEANO. Operazioni sulle grandezze. A reprint of 7153. Ibid., pp. 422-440.

GorroiB FREGE and GIUSEPPE PEANO. Risposta ad una lettera di G. Frege (Preceduta dalla lettera di Frege). A reprint of 4914 and 7123 with an Italian summary by Ugo Cassina. Opere scelte, by Giuseppe Peano, vol. II, Logica matematica interfingua ed algebra della gram- matica, Edizioni Cremonese, Rome 1958, pp. 288-296.

RICHARD DEDEKIND. The nature and meaning of numbers. A paperbound reprint of 70q2. Essays on the theory of numbers, Dover Publications, Inc., New York 1963, pp. 29-115.

UGO CASSINA. Dalla geometria egiziana aila matematica moderna. Edizioni Cremonese, Rome 1961, VI + 537 pp.

S. A. ANOVSICAA. Iz istorii aksiomatiki (From the history of axiomatics). Istoriko-mati- matiiiskii isslidovanid, vol. 11 (1958), pp. 63-96.

GR. C. Mom. Sur le principe du diterminisme. ttudes d'histoire et de philosophie des sciences, editions de I'Acaddmie de la R6publique Populaire Roumaine, Bucharest c. 1962, pp. 33-39.

I. T6TH. La giomitrie non euclidienne dans le diveloppement de la pensee. Ibid., pp. 53-70.

CONSTANCE REID. Hilbert. Springer-Verlag, New York, Berlin, and Heidelberg, 1970, XI + 290 pp.

HERMANN WEYL. David Hilbert and his mathematical work. A shortened version of IX 98. Therein, pp. 245-283.

DANA Scorr. Review of Reid's Hilbert (XXXVII 205). University, A Princeton quarterly, no. 47 (1970); therein, Good reading, vol. 22 no. 1 (1970), last two pages.

WOLFGANG ELERT. David Hilbert und die Grundlagenkrise der modernen Mathematik. Deutsche Zeitschriftfir Philosophie, vol. 6 (1958), pp. 888-902.

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

206 REVIEWS

Anonymous. L. E. J. Brouwer. Russian. Problimy konstruktivnogo napravlenid v matd-

matik4, 4, Sbornik robot, edited by V. P. Orevkov and M. A. Sanin, Trudy Mat6matid6skogo

Instituta im6ni V. A. Stdklova, vol. 93, Izdatdl'stvo "Nauka," Leningrad 1967, p. iii.

Anonymous. L. E. J. Brouwer. English translation of the preceding. Problems in the con-

structive trend in mathematics, IV, edited by V. P. Orevkov and M. A. Sanin, Proceedings of the

Steklov Institute of Mathematics, no. 93 (1967), American Mathematical Society, Providence

1970, p. v.

A. HEYrING. L. E. J. Brouwer. Contemporary philosophy, A survey, I, Logic andfoundations

of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathi-

matiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence 1968, pp. 308-

315.

JEAN LADRdRE. La philosophic des mathematiques et le problime du formalism. Revue

phiosophique de Louvain, vol. 57 (1959), pp. 600-622.

P. LORENZEN. Methodisches Denken. German version of XXXIII 618. Ratio (Frankfurt

a.M.), vol. 7 (1965), pp. 1-23.

V. A. ANuov. Postrodnie poslidovatil'nosti sil'no nezavisimyh supirintuicionistskih propo-

zicional'nyh iscislinij. Russian original of XXXVII 186(1). Doklady AkadEmii Nauk SSSR,

vol. 181 (1968), pp. 33-34.

V. A. ANKov. Ob isdislinii slabogo zakona isklddnnogo trdt'dgo. Russian original of

XXXVII 186(2). Izvstid Akadimii Nauk SSSR, Serni mat6matid6skaA, vol. 32 (1968), pp.

1044-1051.

V. A. ANKOV. Koninktivno ndrazloffimyi formuly v propozicional'nyh isetslinidh. Russian

original of XXXVII 186(3). Ibid., vol. 33 (1969), pp. 18-38.

E. YU. ZAKHAROVA. Completeness criterion of systems of functions of Pk. English trans-

lation of XXX1II 606(4) by Edwin S. Spiegelthal. Systems theory research (New York), vol. 18

(1968), pp. 3-9.

GAO HANG-SHAN. On a theorem of Bass. Scientia Sinica, vol. 13 (1964), p. 1005.

GEORGE GEORGESCU and CONSTANTIN VRACiU. n-valent centered Lukasiewicz algebras.

Revue roumaine de mathimatiques pures et appliques, vol. 14 (1969), pp. 793-802.

GEORGE GEORGESCU and CoNsTrANTIN VRACIu. Le spectre maximal d'une algibre de Lukasie- wicz. Comptes rendus hebdomadaires des seances de l'Acadimie des Sciences, s6r. A voL 268

(1969), pp. 928-929.

GEORGE GEORGESCU. Caracterisation des dpimorphismes des algibres de Lukasiewicz e- valentes. Ibid., vol. 271 (1970), pp. 708-710.

GEORGE GEORGESCu. La duality des algebres de Post e-valentes. Ibid., pp. 766-768.

ANNE PRELER. Sur le problime universal libertyd) des alghbres de Boole et des espaces de

Book par rapport aux ensembles. Publications du Dipartement de Mathimatiques (Lyon), vol. 3

no. 1 (1966), pp. 17-25.

ANNE PRELLER. Une categorie duale de la categorie des anneaux idempotents. Ibid., pp.

26-30.

P. RBENBOIM. Boolean powers. Fundamenta mathematical, vol. 65 no. 3 (1969), pp. 243-

268.

V. P. KLASStN. Probldma vhofddnid did nekotorogo klassa grupp (Occurrence problem for a

certain class of groups). Algebra i logika, vol. 9 (1970), pp. 306-312.

L. W. SZCZERBA. Filling of gaps in ordered fields. English with English and Russian

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

REVIEWS 207

summaries. Bulletin de l'Acadimie Polonaise des Sciences, Serie des sciences mathdmatiques, astronomiques et physiques, vol. 18 (1970), pp. 349-352, XXV, XXV.

J. L. BELL and F. JELLETT. On the relationship between the Boolean prime ideal theorem and two principles in functional analysis. English with English and Russian summaries. Ibid., vol. 19 (1971), pp. 191-194.

BJARNI J6NssoN and PmLIP OuN. Almost direct products and saturation. Logic andfoun- dations of mathematics, Dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff Publishing, Groningen 1968, pp. 125-132; also Compositio mathematica, vol. 20 (1968), pp. 125- 132.

W. KUICH. Languages and the enumeration ofplanted plane trees. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 73 (1970), pp. 268-280; also Indaga- tiones mathematical, vol. 32 (1970), pp. 268-280.

S. NEGREPONT}S. A property of the saturated Boolean algebras. Ibid., vol. 74 (1971), pp. 117-120; also ibid., vol. 33 (1971), pp. 117-120.

D. A. VLADIMIROV. O suI&estvovanii invariantnyh mer na bulevyh algibrah. Doklady Aka- diml Nauk SSSR, vol. 157 (1964), pp. 764-766.

D. A. VLADIMIROV. The existence of invariant measures on Boolean algebras. English translation of the preceding by J. R. Brown. Soviet mathematics, vol. 5 no. 4 (1964), pp. 998- 100.

ROSALIA MARTELLOTrA. Funzioni booleane implicate. La ricerca (Naples), vol. 12 ser. 2 (Sept.-Dec. 1961), pp. 11-25.

LEON LivovscHm. Utilizarea ecualiilor booleene In probleme de reprezentare (Utilization of Boolean equations for solution of representation problems). Roumanian with Roumanian and Russian summaries. Studil i cercetdri matematice, vol. 22 (1970), pp. 39-49.

GEORGE GEORGESCU. Asupra unei scufunddri injectivepentru algebrele Boole (Sur une immer- sion infective pour les algebres de Boole). Ibid., pp. 1335-1342.

LEON BIRNBAUM. Despre segmente, operafii segmentale yi solujia unor paradoxe logice (Sur les segments, les operations segmentales et la solution de quelques paradoxes logiques). Ibid., vol. 23 (1971), pp. 9-16.

GEORGE GEORGESCU. 0 extensiune a unei teoreme a lui Sikorski-Monteiro (Une extension d'un theorhme de Sikorski-Monteiro). Ibid., pp. 49-54.

PIERRE JULLIEN. Sur la comparaison des types d 'ordres disperses. Comptes rendus hebdoma- daires des seances de l'Acadimie des Sciences, sdr. A vol. 264 (1967), pp. 594-595.

J. FRIANT. Grammaires gdndratives pour l 'ensemble des nombres premiers. Revue roumaine de mathdmatiques pures et appliquees, vol. 14 (1969), pp. 473-488.

I. PURDEA. Relations gindralisdes. Ibid., pp. 533-556.

CHINTHAYAMMA. Concerning the weak complements in a distributive lattice. Ibid., vol. 15 (1970), pp. 809-816. (See Correction, ibid., after p. 1129.)

P. A. GRILLET. Maximal chains and antichains. Fundamenta mathematicae, vol. 65 no. 2 (1969), pp. 157-167.

R. BALBES. A note on distributive sublattices of a modular lattice. Ibid., pp. 219-222.

S. LEADER and L. FINKELSTEIN. Regulated semilattices and locally compact spaces. Ibid., vol. 70 no. 1 (1971), pp. 49-58.

CONSTANTINO M. DE BARROS. Filters in partially ordered sets. Portugaliae mathematica, vol. 27 no. 1-2 (1968), pp. 87-98.

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

208 REVIEWS

KwoICm TANDAI. On certain pairs of mappings of modular lattices. Scientific papers of 1h1

College of General Education, University of Tokyo vol. 5 (1955), pp. 83-86.

KLAus MATrHES Ober eine Schar von Reguldrititsbedingungen fur Verbainde. Mathematische

Nachrichten, vol. 22 (1960), pp. 93-128.

OLAF TmASCHKE. Submoduldre Verbdnde. Mathematische Zeitschrift, vol. 74 (1960), pp. 186-190.

S. P. AvANN. Distributive properties in semi-modular lattices. Ibid., vol. 76 (1961), pp. 283-287.

SHERWIN P. AVANN. Dependence of finiteness conditions in distributive lattices. Ibid., vol.

85 (1964), pp. 245-256.

E. A. NoRDHAus and LEO LAPIDUS. Brouwerian geometry. Canadian journal of mathe-

matics, vol. 6 (1954), pp. 216-229.

C. C. CHEN and G. GRXTZER. Stone lattices. I: Construction theorems. Ibid., vol. 21

(1969), pp. 884-894.

C. C. CHEN and G. GRXTZER. Stone lattices. II: Structure theorems. Ibid., pp. 895-903.

T. P. SPEED. A note on Stone lattices. Canadian mathematical bulletin (Bulletin candien de

mathimatiques), vol. 14 (1971), pp. 81-86.

T. P. SPEED. Some remarks on a class of distributive lattices. The journal of The Australian

Mathematical Society, vol. 9 (1969), pp. 289-296.

T. P. SPEED. On Stone lattices. Ibid., pp. 297-307.

G. GRXTZER. Stone algebras form an equational class. Ibid., pp. 308-309.

P. D. FINCH. A transposition principle in orthomodular lattices. The bulletin of the London

Mathematical Society, vol. 2 (1970), pp. 49-52.

TIBOR KATRigkK. Remarks on the W. C. Nemitz's paper "Semi-Boolean lattices " (XXXV

172). Notre Dame journal offormallogic, vol. 11(1970), pp. 425-430.

J. D. LAWSON. Lattices with no interval homomorphisms. Pacific journal of mathematics,

vol. 32 (1970), pp. 459-465.

RAYMOND BALBES and ALFRD HORN. Projective distributive lattices. Ibid., vol. 33 (1970),

pp. 273-279.

E. L. MARSDEN, Jr. The commutator and solvability in a generalized orthomodular lattice.

Ibid., pp. 357-361.

KBY A. BAKER and ALBERT R. STRALKA. Compact, distributive lattices of finite breadth.

Ibid., vol. 34 (1970), pp. 311-320.

S. K. THOMASON. A proof of Whitman's representation theorem for finite lattices. Proceed-

ings of the American Mathematical Society, vol. 25 (1970), pp. 618-619.

RoY 0. DAVES, ALLAN HAYES, and GEORGE RouSsEAu. Complete lattices and the generalized Cantor theorem. Ibid., vol. 27 (1971), pp. 253-258.

J. A. JOHNSON. Quotients in Noetherian lattice modules. Ibid., vol. 28 (1971), pp. 71-74.

ALBERT R. STRALKA. Locally convex topological lattices. Transactions of the American Mathematical Society, vol. 151 (1970), pp. 629-640.

R. PADMANABHAN. Regular identities in lattices. Ibid., vol. 158 (1971), pp. 179-188.

H. LAKSER. The structure of pseudocomplemented distributive lattices. I: Subdirect decom- position. Ibid., vol. 156 (1971), pp. 335-342.

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

REVIEWS 209

G. GRXTzER and H. LAKSER. The structure of pseudocomplemented diotributive lattices. 11: Congruence extension and amalgamation. Ibid., pp. 343-358.

Gh.ARD Levy. Formes disjonctives minimales dans une logique ci plusieurs valeurs. Comp- tes rendus hebdomadaires des seances de l'Academie des Sciences, s~r. A vol. 269 (1969), pp. 613- 615.

GARARD Lgvy. Sur la partition de certains trellis en spheres concentriques. Ibid., vol. 271 (1970), pp. 61-64.

JAMES F. GIMPEL. A method of producing a Boolean function having an arbitrarily prescribed prime implicant table. IEEE transactions on electronic computers, vol. EC-14 (1965), pp. 485- 488.

JAMsS F. GIMPEL A reduction technique for prime implicant tables. Ibid., pp. 535-541.

F. Luccao. A method for the selection of prime implicants. Ibid., vol. EC-15 (1966), pp. 205-212.

JAMES F. GIMPEL. A reduction technique for prime implicant tables. 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. 183-191.

E. W. SAMsON and L. CALABI. On the theory of Boolean formulas: minimal including sums. Journal ofthe Societyfor Industrial and Applied Mathematics, vol. 11 (1963), pp. 212-223, and pp. 224-234.

L. CALABI. On the theory of Boolean formulas: construction of the set of the formulas of minimal cost. Ibid., pp. 521-525.

GR. C. MoIsmL. Simplificarea schemelor prin introducerea contactelor multipozifionale (La simplification des schimas par introduction de contacts L plusieurs positions). Roumanian with Russian and French summaries. Buletin ;tilntiflc, Sectiunea de ?tiinte matematice ?i fizice, vol. 7 no. 4 (1955), pp. 843-852.

GR. C. MoisL. Formulele de interpolare in corpul G ; (2) iaplicaliile lor la sinteza circuitelor cu transistori (Formules d 'interpolation dans le corps G @ (2) et leurs applications a la synthese des circuits avec des transistors). Roumanian with Russian and French summaries. Analele Uni- versitdfii Bacuregti, seria ~tiintele naturii matematica-fizicI, vol. 10 (1961), pp. 83-127.

PAUL CONSTANTNESCU. Asupra reducerii numdrului de contacte prin introducerea circuitelor in punte (Sur le dicroissement du nombre des contacts en utilisant circuites en pont). Roumanian with Russian and French summaries. Analele Universitdfii "C. I. Parhon" Bucureti, seria ?tiintelor naturii, vol. 11 (1956), pp. 45-69.

tV. I. 2tRAvxgv. Algoritmy uproscenid dizdnktivnyh normal'nyh form konlinogo indiksa. Doklady Akadimi Nauk SSSR, vol. 139 (1961), pp. 1329-1331.

Yu. L ZHURAvLEv. Finite index algorithms for the simplification of disjunctive normalforms. English translation of the preceding. Soviet physics, Doklady, vol. 6 no. 8 (1962), pp. 686- 687.

V. V. GLAoGv. Ocinka slolnosti sokrasicnnoj dizuinktivnoj normal'nojformy dldpocti vsih funkcij algibry logiki. Doklady Akadimii Nauk SSSR, vol. 158 (1964), pp. 770-773.

V. V. GLAGOLEV. Estimate of the complexity of a reduced disjunctive normalform for almost all functions of the algebra of logic. English translation of the preceding by E. J. Cogan. Soviet mathematics, vol. 5 no. 5 (1964), pp. 1302-1305.

V. V. GLAG0LtV. Verhnad ocenka sloinosti minimal'noj d.n.f. dld poti vsih funkcij algibry logiki (Upper bound on the complexity of the minimal disjunctive normal form for almost all functions of the algebra of logic). Diskrdtnyj analiz (Novosibirsk), no. 5 (1965), pp. 3-8.

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

210 REVIEWS

R. V. MOZAROV. 0 statisti6iskom isslidovanii minimizacii bulivyh funkcij (On statistical analysis of the minimization of Boolean functions). Ibid., pp. 31-33.

A. D. KOR?UNOV. Ob asimptotice'skih oceinkah slotnosti kontaktnyh shdm zadannoj stipdni (On asymptotic estimates of the complexity of contact circuits of a given degree). Ibid., pp. 35-67.

A. D. ZAKRJVSKU. Algoritmy minimizacii slabo oprdeilinnyh bulivyh funkcij (Minimization algorithms for weakly determined Boolean functions). Kibirnetika (Kiev), no. 2 (1965), pp. 53- 60.

A. D. ZAKREVSKU. Minimization algorithms for weakly defined Boolean functions. English translation of the preceding. Cybernetics (New York), vol. 1 no. 2 (1965), pp. 53-60.

A. D. ZAKidvsIuJ. Novyi algoritmy minimizacii slabo opriddldnnyh bulivyh funkcif (New algorithms of minimization of weakly defined Boolean functions). Kibirnitika (Kiev), no. 5 (1969), pp. 21-28.

A. D. KoRWUNov. Verhnad ocenka slotnosti krat~affih d.n.f. potti vseh bulevyh funkcij (Upper estimation of complexity of the shortest d.n.f. for almost all Boolean functions). Ibid., no. 6 (1969), pp. 1-8.

A. A. LAPUNOV. 0 nekotoryh ob.ih voprosah kibdrnetiki. Problimy kibirnitiki, Vol. 1 (1958), pp. 5-22.

A. A. LYAPUNOV. Certain general problems in cybernetics. English translation of the pre- ceding. Problems of cybernetics, vol. 1 (1960), pp. 1-21.

A. A. LJAPUNOW. Ober einige allgemeine Fragen der Kybernetik. German translation of the same. Probleme der Kybernetik, vol. 1 (1962), pp. 1-22.

V. G. LAZARmV. 0 sinteze mikroprogrammnyh avtomatov. Problimy piridadi iformacil (Moscow), vol. 1 no. 2 (1965), pp. 63-78.

V. G. LAZAREV. On the synthesis of microprogram automata. Problems of information transmission (New York), vol. 1 no. 2 (1965), pp. 47-59.

V. A. USPENSIJu. K problems postroenid maiinnogo dzyka did informacionno3 mafiny. Problkmy kibirndtiki, vol. 2 (1959), pp. 39-50.

V. A. USPENSKII. The problem of constructing a machine language for an information machine. English translation of the preceding by G. R. Kiss. Problems of cybernetics, vol. 2 (1961), pp. 356-370.

W. A. USPENSKI. Zum Problem des Aufbaus einer Maschinensprachefuir Informationsmaschi. nen. German translation of the same. Probleme der Kybernetik, vol. 2 (1963), pp. 38-53.

L. A. SKORNAKOV. Ob odnom klasse avtomatov (nirvnyi sistdmy). Problemy kibirnitiki, vol. 4 (1960), pp. 23-35.

L. A. SKORNYAKOV. On a class of automata (nervous systems). English translation of the preceding by G. R. Kiss. Problems of cybernetics, vol. 4 (1962), pp. 1156-1170.

L. A. SKORNJAKOW. Uber eine Klasse von Automaten (Nervensystemen). German trans- lation of the same by Peter Starke. Probleme der Kybernetik, vol. 4 (1964), pp. 23-28.

N. A. SoLov'&v. 0 bezuslovnyh testah dld nekotorogo klassa tablic. Problemy kibdrnetiki, vol. 18 (1967), pp. 45-65. (See Errata, ibid., vol. 21 (1969), p. 263.)

N. A. SoLov'Ev. Unconditional testsfor a certain class of tables. English translation of the preceding by Edwin S. Spiegelthal. Systems theory research (New York), vol. 18 (1968), pp. 42-61.

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

REVIEWS 211

A. L. Toom. 0 slozfnosti realizacii dvoienyhfunkcij, imiedsih malo "podfunkcij. " Problimy kibdinetiki, vol. 18 (1967), pp. 83-90.

A. L. TooM. Complexity of realization of binary functions with small subfunctions. English translation of the preceding by Edwin S. Spiegelthal. Systems theory research, vol. 18 (1968), pp. 77-84.

A. V. SiRwVA. Postroenie universal'nyh kontaktnyh shem. Problimy kibirnatiki, vol. 18 (1967), pp. 303-312. (See Errata, ibid., vol. 21 (1969), p. 263.)

E. V. SHERISHEVA. Construction of universal contact schemes. English translation of the preceding by Edwin S. Spiegelthal. Systems theory research, vol. 18 (1968), pp. 311-320.

L. A. SOLOMOv. 0 realizacii nidoopriddldnnyh buldvyh funkcij shemami iz funkcional'nyh eldmentov (On the realization of incompletely specified Boolean functions by means of circuits composed of functional elements). Problimy kibirnitikl, vol. 21 (1969), pp. 215-226. (See Errata, ibid., vol. 22 (1970), p. 300.)

E. L NMIPoRUK. Ob odnoj buldvskol matrices (On a Boolean matrix). Ibid., vol. 21 (1969), pp. 236-240.

E. I. NSiPORUK. 0 topologi~dskih principal samokorriktirovanid (On topological principles of self-correction). Ibid., pp. 5-102. (See Errata, ibid., vol. 22 (1970), p. 299.)

E. L NL6PORUK. 0 topologiedskih principal samokorriktirovanid. Doklady Akademii Nauk SSSR, vol. 179 (1968), pp. 790-793.

lt. I. NECHIPORUK. The topological principles of self-correction. English translation of the preceding. Soviet physics, Doklady, vol. 13 no. 4 (1968), pp. 299-301.

N. V. BLA1KIN. Ob odnom klasse mainm T'ziringa. Russian original of XXXVII 198(1). Doklady Akadimii Nauk SSSR, vol. 148 (1963), pp. 47-49 -

M. A. SPIVAK. Razlofdnie reguldrnogo vyra~fnidpo bazisu i ego primenenia. Ibid., vol. 162 (1965), pp. 520-522.

M. A. SPIVAK. Decomposition of regular expressions with respect to a basis and its applica- tions. English translation of the preceding. Soviet physics, Doklady, vol. 10 no. 5 (1965), pp. 405-407.

B. M. KLOSS and V. A. MALYEV. Oprddildnie reguldrnosti avtomata po ego kanoniedskim uravninidm. Doklady Akadimii Nauk SSSR, vol. 172 (1967), pp. 543-546.

B. M. KLoss and V. A. MALYSHEV. Determination of the regularity of automata from their canonical equations. English translation of the preceding. Soviet physics, Doklady, vol. 12 no. 1 (1967), pp. 14-16.

B. A. TRAHTENBROT. Finite automata and the logic of one-place predicates. English trans- lation of XXIX 98 by S. Walker. American Mathematical Society translations, ser. 2 vol. 59 (1966), pp. 23-55.

HORST MULLER. Sober die mit Stackautomaten berechenbaren Funktionen. Archive fdr mathematische Logik und Grundlagenforschung. vol. 13 (1970), pp. 60-73.

M. MAGIDOR and G. MORAN. Probabilistic tree automata and context free languages. Israel journal of mathematics, vol. 8 (1970), pp. 340-348.

NOAM CHOMsKY. Explanatory models in linguistics. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 528-550.

R. P. MIrcHLL. A note on categorial grammars. 1961 International Conference on Machine Translation of Languages and AppliedLanguage Analysis, Proceedings of the conference held at the

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

212 1UVIEWS

National Physical Laboratory, Teddington, Middlesex, on 5th, 6th, 7th and 8th September, vol. 1, Her Majesty's Stationery Office, London 1962, pp. 212-219.

I. Y. AKUSHSKY, YU. Y. BASILEVSKY, and Yu. A. ScHREER. Logical, recursive and operator methods for the analysis and synthesis of automata. English with English, French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15-20 June 1959, Unesco, Paris, R. Olden- bourg, Munich, and Butterworths, London, 1960, pp. 138-144.

K. tULfK. Some axiomatic systems for formal grammars and languages. English with English, Russian, French, German, and Spanish summaries. Information processing 1962, Proceedings of IFIP Congress 62, organized by the International Federation for Information Processing, Munich, 27 August-i September 1962, edited by Cicely M. Popplewell, North- Holland Publishing Company, Amsterdam 1963, pp. 313-317.

A. NEWELL. Learning, generality and problem-solving. Ibid., pp. 407-412.

WALTER R. REITMAN. Heuristic programs, computer simulation and higher mental processes. Behavioral sciences (Ann Arbor), vol. 4 (1959), pp. 330-335.

L. C. EGGAN. Transition graphs and star height of regular events. Michigan mathematics journal, vol. 10 (1963), pp. 385-397.

ROBERT MCNAUGHTON and BERNON MITCHELL. The minimality ofrectifier nets with multiple outputs incompletely specified. Journal of the Franklin Institute, vol. 264 (1957), pp. 457-480.

GEORGE KUREPA. Sets-logics-machines. Proceedings of an International Symposium on the Theory of Switching, Harvard University, 2-5 April 1957, Part I, The Annals of the Computation Laboratory of Harvard University, vol. 29, Harvard University Press, Cambridge, Massachu- setts, 1959, pp. 137-146.

THOMAS C. BARTEE. Digital computer fundamentals. McGraw-Hill Book Co., Inc., New York 1960, ix + 342 pp.

0. LowENscHuss. Restoring organs in redundant automata. Information and control, vol. 2 (1959), pp. 113-136.

E. SHAMIR. A remark on discovery algorithms for grammars. Ibid., vol. 5 (1962), pp. 246-251.

V. AMAR and G. PUTZOLU. On a family of linear grammars. Ibid., vol. 7 (1964), pp. 283- 291.

L. HAoes. Note on the complement of a (minimal) linear language. Ibid., pp. 307-314.

MAURICE GROSS. Inherent ambiguity of minimal linear grammars. Ibid., pp. 366-368.

V. AMAR and G. PUTZOLU. Generalizations of regular events. Ibid., vol. 8 (1965), pp. 5"63.

MICHAEL A. ARBIB. Simple self-reproducing universal automata. Ibid., vol. 9 (1966), pp. 177-189.

JAMES N. GRAY and MICHAEL A. HARRISON. The theory of sequential relations. Ibid., pp. 435-468.

JAMEs N. GRAY, MICHAEL A. HARRISON, and OSCAR H. IBARRA. Two-way pushdown autom- ata. Ibid., vol. 11 (1967), pp. 30-70.

THoMAS N. HIBBARD. A generalization of context-free determinism. Ibid., pp. 196-238.

R. E. STEARNS. A regularity testfor pushdown machines. Ibid., vol. 11 no. 3 (for 1967, pub. 1968), pp. 323-340.

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

REVIEWS 213

BARRON BRAINERD. An analog of a theorem about context-free languages. Ibid., vol. 11 no. 5/6 (for 1967, pub. 1968), pp. 561-567.

KAREL CULfK. On some transformations in context-free grammars and languages. English with Russian summary. Cihoslovaikij matemati~iskij !urnal (Czechoslovak mathematical

journal), vol. 17 (1967), pp. 278-311.

SEIrI Huzmio. On some properties of derivative-mappings, structural diagrams and structural equations. Memoirs of the Faculty of Science, Kyushu University, Series A Mathematics, vol. 20 (1966), pp. 179-265, and vol. 21 (1967), pp. 1-103.

A. A. LtrIrtvsRu. Ekvivalintnost' avtomatov s zaklu'6itRl'nym sostoaniem. I. (Equivalence of terminal state automata. I.) Kibdrnitika (Kiev), no. 4 (1966), pp. 18-24.

A. A. LEsncHEvsKIu. The equivalence of automata with a terminal state. I. English trans- lation of the preceding. Cybernetics (New York), vol. 2 no. 4 (1966), pp. 15-19.

V. G. BODNAR&UK and G. t. CEruIN. Ob algibrah pirlodi~dski opridilinnyh preobrazovanij beskond6nogo registra (On algebras of periodic-definite transformations of the infinite register). Kibernetika (Kiev), no. 1 (1969), pp. 18-27.

G. lt. Cirui. Voprosyfunkcional'nojpolnoty dld odnoj modifikacii algdbry logiki (Questions of functional completeness problems of the functional completeners for one modification of the logic algebra [sic]). Ibid., no. 4 (1969), pp. 39-44.

L. G. SAMO3JNKO. 0 nikotoryh podklassah grammatik neposrddstvenno sostavldaJsih, slabo ekvivaldntnyh kontikstno-svobodnym grammatikam (On some subclasses ofphrase-structure grammars weakly equivalent to context-free grammars). Ibid., pp. 48-55.

M. I. BIiccKu. 0 svdzi mifdu katigorial'nymi i dominacionnymi grammatikami (On connec- tion between categorial and domination grammars). Ibid., pp. 129-135, and no. 5 (1969), pp. 10-14.

W. KwAsowIEc. Machines and their computations. English with English and Russian summaries. Bulletin de l'Acadimie Polonaise des Sciences, Sdrie des sciences mathematiques, astronomiques et physiques, vol. 18 (1970), pp. 403-406, XXVIII, XXVIII.

W. KwAsowiEc. Some properties of machines. Zeitschrift fur mathematische Logik wad Grundlagen der Mathematik, vol. 16 (1970), pp. 399-404.

W. KWASOWLC. On some properties of machines. Algorytmy, vol. 5 no. 10 (1969), pp. 21- 24.

JAN MALUSZYf4SKI. Algorytm lewostronnej redukcji slow (Left-to-right bottom-up parsing algorithm). Ibid., pp. 59-75.

MAREK GLOWACKI. On regular Van Wijngaarden's grammars. English with English and Russian summaries. Ibid., vol. 7 no. 12 (1970), pp. 5-20.

JAN MALUSZY74SKI. Struktura podgramatyk gramatyki bezkontekstowej (The lattice of CF- grammar subgrammars). Polish with Polish, Russian, and English summaries. Ibid., pp. 21-27.

F. BARTHOLOMES and G. HOTZ. Homomorphismen und Reduktionen linearer Sprachen. Lecture notes in operations research and mathematical systems, no. 32, Springer-Verlag, Berlin, Heidelberg, and New York, 1970, XII + 143 pp.

JIRI BE&VAi. Review of Nelson's Introduction to automata (XXXVI 151). Czech. Kyber- netika (Prague), vol. 7 (1971), pp. 77-79.

V. AMAR and G. PUTZOLU. Generalizations of regular events. Automata theory, edited by E. R. Caianiello, Academic Press, New York and London 1966, pp. 1-5.

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

214 REVIWS

J. iRcFAuRD Bocm. Algebraic theory of feedback in discrete systems, Part I. Ibid., pp. 70-101.

MAURICE GROSS. Sur certainsprocidis de definition de langagesformels. Ibid., pp. 181-200.

H. KoREzLIoGLu. Graphes de transfert des reseaux neuroniques. Ibid., pp. 231-238.

P. M. LEwIS II and R. E. STEARNS. Syntax directed transduction. IEEE Conference record of 1966 Seventh Annual Symposium on Switching and Automata Theory, Papers presented at the Seventh Annual Symposium, University of California, Berkeley, Calif., October 26-28,1966, The Institute of Electrical and Electronics Engineers, Inc., New York 1966, pp. 21-35.

PATRICK C. FISCHER. On formalisms for 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. 68-75. [Cf. XXXVI 532(2).]

C. L. COATES and VATANA SUPORNPABUL. On maximum stability realizations of linearly separable Boolean functions. Sixth Annual Symposium on Switching Circuit Theory and Logical Design, University of Michigan, Ann Arbor, Mich., The Institute of Electrical and Electronics Engineers, Inc., New York 1965, pp. 12-24.

SEYMOUR GINSBURG. Examples of abstract machines. IRE transactions on electronic comn peters, vol. EC-11 (1962), pp. 132-135.

A. GINZBURG. About some properties of definite, reverse-definite and related automata. IEEE transactions on electronic computers, vol. EC-15 (1966), pp. 806-810.

Rocco H. URBANO. Review of Danielsson's Boolean memories (XXXVI 187). Ibid., pp. 833-834.

S. EVEN, I. KOHAVI, and A. PAZ. On minimal modulo 2 sums of products for switching functions. Ibid., vol. EC-16 (1967), pp. 671-674.

DONALD R. HARING and ALFRED K. SussKmND. On realizations of synchronous sequential machines. Ibid., pp. 686-687.

DONALD L. DETMEYER and PETER R. SCHNEIDER. Identification of symmetry, redundancy and equivalence of Boolean functions. Ibid., pp. 804-817.

P. M. LEwIS II and R. E. STEARNS. Syntax-directed transduction. Journal ofthe Association for Computing Machinery, vol. 15 (1968), pp. 465-488.

C. K. CHow. On the characterization of threshold functions. Switching circuit theory and logical design, Proceedings of the Second Annual Symposium, Detroit, Mich., October 17-20, 1961, and papers from the First Annual Symposium, Chicago, IL., October 9-14,1960, American Institute of Electrical Engineers, New York 1961, pp. 34-38.

A. A. LAPUNOV and A. G. MALNKOV. Logiceskiy analiz stroinid naslIdstvinnoj informacii. Problimy kibirnitiki, vol. 8 (1962), pp. 293-308.

A. A. LjAPuNOW and A. G. MALENKOW. Logische Analyse der Struktur der Erbinformationen. German translation of the preceding by Barbara Schneider. Probleme der Kybernetik, vol. 8 (1965), pp. 313-333.

A. SKLAR. On category overlapping in taxonomy. Form and strategy, Studies dedicated to Joseph Henry Woodger on the occasion of his seventieth birthday, edited by John R. Gregg and F. T. C. Harris, D. Reidel Publishing Company, Dordrecht 1964, pp. 395-401.

JEFFRIE G. MURPHY. Law logic. Ethics, vol. 77 (1967), pp. 193-201.

TADEUSZ KOTARBIISKI. Kurs logiki dla prawnikdw (A course in logic for law students). Sixth edition of XVII 60. Panstwowe Wydawnictwo Naukowe, Warsaw 1963, 216 pp.

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

REVIEWS 215

KAZIMERZ AJDUKiEWICZ. Abriss der Logik. German translation of XIX 235 by Marian Dobrosielski. Aufbau-Verlag, Berlin 1958, 204 pp.

GEORG KLAUS. Review of the preceding. Deutsche Zeitschrift fdr Philosophie, vol. 7

(1959), pp. 940-946.

S. S. STEvENs. Mathematics, measurement, and psychophysics. Handbook of experimental psychology, edited by S. S. Stevens, John Wiley & Sons, Inc., New York, and Chapman & Hall, Ltd., London, 1951, pp. 1-49.

C. XI. CooMms, H. RAIFFA, and R. M. THRALL. Some views on mathematical models and measurement theory. Psychological review, vol. 61 (1954), pp. 132-144.

BERNARD R. GRUNSTRA. On distinguishing types ofmeasurement. Boston studies in the philos- ophy of science, vol. 5, Proceedings of the Boston Colloquium for the Philosophy of Science, 196611968, edited by Robert S. Cohen and Marx W. Wartofsky, D. Reidel Publishing Company, Dordrecht-Holland 1969, pp. 253-303.

A. A. MAL'civ. Topologi6dskij variant tdoremy Slupdckogo dld ndkotoryh kompaktov. Doklady Akadimii Nauk SSSR, vol. 188 (1969), pp. 33-36.

A. A. MAL'CEV. A topological version of Slupecki's theorem for compacta. English trans- lation of the preceding by P. Flor. Soviet mathematics, vol. 10 no. 5 (1969), pp. 1071-1074.

C. RYLL-NARDzEwsKI and R. TELGARSICY. On the scattered compactification. English with English and Russian summaries. Bulletin de l'Acadfmie Polonaise des Sciences, Serie des sciences math6matiques, astronomiques et physiques, vol. 18 (1970), pp. 233-234, XVII, XVII.

G. V. CUDNOVsKL. Nikotorye risultaty v tiorii biskonieno dlinnyh vyrafiniJ. Russian original of XXXVII 202. Doklady Akadimii Nauk SSSR, vol. 179 (1968), pp. 1286-1288.

D. V. CUDNOvsKif. Nonstandard analysis and homeomorphisms of B-spaces. English trans- lation of XXXVI 189 by E. Mendelson. Soviet mathematics, vol. 10 no. 2 (1969), pp. 436-439.

MOSKA MACHOVER. General introduction. Lectures on non-standard analysis, Lecture notes in mathematics, no. 94, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 1-47.

JoRGE HRSCHFELD. Uniform structures. Ibid., pp. 48-79.

ABRAHAM ROBINSON. On the theory of normalfamilies. Studio logico-mathematica et philo- sophica, in honored Rolf Nevanlinna die natali eius septuagesimo 22.X.1965, Acta philosophica Fennica, no. 18 (1965), pp. 159-184.

ALLEN R. BERNsTEIN. Invariant subspaces of polynomially compact operators on Banach

space. Pacific journal of mathematics, vol. 21 (1967), pp. 445-464.

Louis NARENS. A nonstandard proof of the Jordan curve theorem. Ibid., vol. 36 (1971),

pp. 219-229.

GRANT A. FRASER and ALFRED HORN. Congruence relations in direct products. Proceedings of the American Mathematical Society, vol. 26 (1970), pp. 390-394.

J. D. HALPERN and PAuL E. HOWARD. Cardinals m such that 2m = m. Ibid., pp. 487-490.

LOREN C. LARSON. Nonstandard theory of Zariski rings. Ibid., vol. 29 (1971), pp. 23-29.

A. D. TAIMANOV. On a class of models closed with respect to direct products. English trans- lation of XXX 253(3) by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 59 (1966), pp. 1-22.

V. N. GRuIN. Review of Cohen's Set theory and the continuum hypothesis (XXXV 591). Russian. Uspihi matematiieskih nauk, vol. 23 no. 2 (1968), pp. 260-261.

RODOLFO A. RICABARRA. Conjuntos ordenados y ramificados. Instituto de Matemitica, Universidad Nacional del Sur, Bahia Blanca 1958, 357 pp.

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

216 REVIEWS

ASHVINIKUMAR. On the intuitionist theory of Stieltjes integration and its applications. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 73 (1970), pp. 62-72; also Indagationes mathematicae, vol. 32 (1970), pp. 62-72.

0. DEMUrH. The Lebesgue integral and the concept offunction measurability in constructive analysis. English translation of XXXVI 189(3). Studies in constructive mathematics and mathematical logic, Part II, edited by A. 0. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 7-10.

0. DEMUTH. The relation between the Riemann integrability and Lebesgue integrability of constructive functions. English translation of XXXVI 189(4). Ibid., pp. 11-12.

B. A. KUSHNER. Some examples of quasi-dense but not dense sets of duplexes. English translation of XXXVI 189(5). Ibid., pp. 43-46.

B. A. KUSHNER. Remarks on the domain of definition of constructive functions. English translation of XXXVI 189(6). Ibid., pp. 47-48.

B. A. KUSHNER and G. S. TsEmrN. Some properties of F-numbers. English translation of XXXVI 189(7). Ibid., pp. 49-55.

FAN DIN' Zdu. Nikotorye voprosy konstraktivnogofsankcional'nogo analiza (Some questions of constructive functional analysis). Trudy ord~na L6nina Mat6mati6skogo Instituta im6ni V. A. St~klova, vol. 114, Izdat6l'stvo " Nauka," Moscow 1970, 221 pp.

FAN DiN' Ziku. Mitrizuemost', normiruemost' i multinormiruemost' konstruktivnyh lokal'no vypuklyh prostranstv. Doklady Akaddmii Nauk SSSR, vol. 162 (1965), pp. 1011-1014.

FAN DIN' ZIu. The metrizability, normability and multinormability of constructive locally convex spaces. English translation of the preceding by Raymond H. Roper. Soviet mathe- matics, vol. 6 no. 3 (1965), pp. 814-818.

FAN DIN' Zdu. Konstruktivnyi lokal'no vypuklyJ lindjnyi topologi~eskied prostranstva. Doklady Akadfmii Nauk SSSR, vol. 162 (1965), pp. 766-769.

FAN DIN' ZIEU. Constructive locally convex linear topological spaces. English translation of the preceding by R. H. Roper. Soviet mathematics, vol. 6 no. 3 (1965), pp. 764-768.

FAN DiN' Zdu. 0 nikotoryh svojstvah konstruktivnyh obobicennyh funkcij. Doklady Aka- d~mii Nauk SSSR, vol. 174 (1967), pp. 298-301.

FAN DIN' ZEmu. Certain properties of constructive generalizedfunctions. English translation of the preceding by Sue Walker. Soviet mathematics, vol. 8 no. 3 (1967), pp. 643-647.

FAN DIN' Zdu. Konstruktivnye obobscinnyefunkcii. Dokiady Akadjmii Nauk SSSR vol. 174 (1967), pp. 37-40.

FAN DIN' ZIEu. Constructive generalized functions. English translation of the preceding by Sue Walker. Soviet mathematics, vol. 8 no. 3 (1967), pp. 598-602.

FAN DIN' Zdu. 0 soprdfinnyh k konstruktivnym lokal'no vypuklym prostranstvam. Dok- lady Akadimii Nauk SSSR, vol. 166 (1966), pp. 45-48.

FAN DIN' ZEmu. On spaces adjoint to constructive locally convex spaces. English translation of the preceding by R. H. Roper. Soviet mathematics, vol. 7 no. 1 (1966), pp. 43-47.

G. A. MINc. 0 pridikatnyh i opdratornyh variantah postrolnid tiorU konstruktivnoj mate- matiki (On predicate and operator variants of the formulation of the theories of constructive mathematics). Problimy konstruktivnogo napravlinid v matimatiki, 3, Sbornik rabot, edited by N. A. Sanin, Trudy Mat6mati6skogo Instituta im~ni V. A. St6klova, vol. 72, Izdat~l'stvo "Nauka," Moscow and Leningrad 1964, pp. 383-436. See Errata, Probldmy konstruktivnogo napravlenid v matimatike, 4, Sbornik rabot, Leningrad 1967, p. 260.

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

REVIEWS 217

G. A. MINc. Ispravlenid i dopolndnid k state "0 pridikatnyh ioperatornyh variantahpostroe'- nia teorij konstruktivnoj matimatiki." Probldmy konstruktivnogo napravldnid v matdmatikd, 4, Sbornik rabot, edited by V. P. Ordvkov and N. A. Sanin, Trudy Matematiddskogo Instituta imeni V. A. Stek1ova, vol. 93, Izdat6l'stvo "Nauka," Leningrad 1967, pp. 257-258.

G. E. MINc. Corrigenda and addenda to the article "On predicate and operator variants of the formation of the theories of constructive mathematics." English translation of the preceding by S. H. Gould. Problems in the constructive trend in mathematics, IV, edited by V. P. Orevkov and N. A. Sanin, Proceedings of the Steklov Institute of Mathematics, no. 93 (1967), American Mathematical Society, Providence 1970, pp. 327-329.

V. P. ORtVKOV. 0 konstruktivnyh otobralinidh kruga v sibd (On constructive mappings of the disk into itself). Problemy konstruktivnogo napravienid v Matimatike, 3, Sbornik rabot, edited by N. A. Hanin, Trudy Matdmatiddskogo Instituta im6ni V. A. Stdklova, vol. 72, Izdatdl'- stvo "Nauka," Moscow and Leningrad 1964, pp. 437-461. See Errata, Probiemy konstrak- tivnogo napravinid v matimatiki, 4, Shornik rabot, Leningrad 1967, pp. 260-261.

B. KU?NtR. Review of the preceding. Russian. Rlftradvnyj furnal, Matimatika, no. 1A. (1966), pp. 32-33.

V. P. OitviKov. 0 konstruktivnyh otobratdnidh kond6nyh poliedrov. Problimy konstrak- tivnogo napravlinid v matimatike4, 4, Sbornik rabot, edited by V. P. Ordvkov and N. A. Sanin, Trudy Matdmatidiskogo Instituta imini V. A. Stdklova, vol. 93, Izdatel'stvo " Nauka," Lenin- grad 1967, pp. 142-163.

V. P. OREVKOV. On constructive mappings of finite polyhedra. English translation of the preceding by Leo Ebner. Problems in the constructive trend in mathematics, IV, edited by V. P. Orevkov and N. A. Sanin, Proceedings of the Steklov Institute of Mathematics, no. 93 (1967), American Mathematical Society, Providence 1970, pp. 183-209.

A. 0. SusINKo. 0 nikotoryh algorifmidskih zada6ah, svdzannyh s arifmitideskimi opiraci- dm1 nad dupldksami (On some algorithmic problems in connection with arithmetic operators on duplexes). Problemy konstruktivnogo napravlinia v matimatik4, 3, Sbornik rabot, edited by N. A. Sanin, Trudy Matimatideskogo Instituta imeni V. A. St klova, vol. 72, Izdatdl'stvo "Nauka," Moscow and Leningrad 1964, pp. 488-523. See Errata, Problemy konstruktivnogo napravldnid v matimatike,, 4, Sbornik rabot, Leningrad 1967, pp. 261-262.

A. 0. SLISMNKO. Arifmiticeskid opiracii na nikotoryh mnotdstvah dupliksov. Problimy konstraktivnogo napravlniai v matematikd, 4, Sbornik rabot, edited by V. P. Ordvkov and N. A. Sanin, Trudy Matdmatiddskogo Instituta imeni V. A. Steklova, vol. 93, Izdatel'stvo "Nauka," Leningrad 1967, pp. 187-207.

A. 0. SLISENKO. Arithmetical operations on certain sets of duplexes. English translation of the preceding by D. M. Pritzker. Problems in the constructive trend in mathematics, IV, edited by V. P. Orevkov and N. A. Sanin, Proceedings of the Steklov Institute of Mathematics, no. 93 (1967), American Mathematical Society, Providence 1970, pp. 241-267.

A. O. SLISJNKO. O postrodnii maksimal'nyh reguldtorov ndpreryvnosti konstruktivnyhfunkcij. Problimy konstraktivnogo napraviinia v matematike, 4, Sbornik rabot, edited by V. P. Ordvkov and N. A. ganin, Trudy Matdmatideskogo Instituta imdni V. A. Stdklova, vol. 93, Izdatdl'stvo "Nauka," Leningrad 1967, pp. 208-249.

A. 0. SLISENKO. The construction of maximal continuity regulators for constructive functions. English translation of the preceding by Sue Walker. Problems in the constructive trend in mathematics, IV, edited by V. P. Orevkov and N. A. Sanin, Proceedings of the Steklov Institute of Mathematics, no. 93 (1967), American Mathematical Society, Providence 1970, pp. 269-317.

A. 0. SLIStNKO. Nikotoryd voprosy approksimacii maksimal'nyh reguldtorov nipriryvnosti (Some questions concerning the approximation of maximal regulators of continuity). Prob- limy konstruktivnogo napravlinid v matematike, 5, Sbornik rabot, edited by V. P. Or6vkov and

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

218 REVIEWS

N. A. ganin, Trudy ord6na Ldnina Matemati~dskogo Instituta imeni V. A. Stdklova, vol. 113, Izdatdl'stvo "Nauka," Leningrad 1970, pp. 73-78.

SETSUYA SEKI. Suigaku kisoron shimpozium (Symposium on the foundations of mathematics). Sigaku, vol. 11 no. 2 (1959), pp. 114-116.

TAKEYUKI HIDA, NOBORU ITO, ToMbo KUBOTA, SIGEKATU KURODA, HDEYUKi MATSUMURA, HISASI MORIKAWA, AKKO MORIMOTO, Kwyosi NOSHIRO, KATUZI ONO, YOSHIIRO SHIKATA, and K6SAKU YOSIA. A biographical sketch of the life of Katuzi Ono and bibliography of his works. Nagoya mathematicaljournal, vol. 37 (1970), pp. i-iv.

J. M. BocHEN'SKI. Soviet logic. Studies in Soviet thought, I, edited by J. M. Bochefiski and T. J. Blakeley, D. Reidel Publishing Company, Dordrecht 1961, pp. 29-38.

G. KONG. Mathematical logic in the Soviet Union (1917-1947 and 1947-1957). Ibid., pp. 39-43.

A review of AnovskaA's Osnovanid matematiki i matimaticeskad logika (XVI 46) and Mate- mati6dskad logika i osnovanid matematiki (XXVII 470).

L. JONATHAN COHEN. Review of Zinov'v's Philosophical problems of many-valued logic (XXIX 213). Ratio (Oxford), vol. 7 (1965), pp. 242-244.

L. JONATHAN COHEN. Review of the same. German version of the preceding. Ratio (Frankfurt a.M.), vol. 7 (1965), pp. 224-226.

M. F. OvsANNIov and Iu. A. PEmov. Soviet dissertations in philosophy, 1966-1967. Soviet studies in philosophy,vol. 7 no. 3 (1968-69), pp. 52-60.

A. I. MAL'CEv. K istorii algebry v SSSR za pirvye 25 1lt (On the history of algebra in the USSR during the first 25 years). Algibra i logika, vol. 10 (1971), pp. 103-118.

I. G. BASHMAKOVA, A. A. MARKov, K. A. Ry2mxov, V. A. USPENSxI, and A. P. YUSHKEVICH. Sof'ya Aleksandrovna Yanovskaya (On the occasion of her seventieth birthday). English trans- lation of XXXII 139 by Ann F. S. Mitchell. Russian mathematical surveys, vol. 21 no. 3 (1966), pp. 213-221.

A. A. ZINOvJEv. Logic in the U.S.S.R. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophie contemporaine, Chroniques, I, Logique etfondements des mathimatiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence 1968, pp. 209-219.

GR. C. MoISiL. La logique mathematique dans la Ripublique Socialiste de Roumanie. Ibid., pp. 220-223.

KAREL BERKA. Kiedesdtindm profesora RNDr OtakaraZicha DrSc. (On the sixtieth birth- day of RNDr Otakar Zich DrSc.) Kybernetika (Prague), vol. 4 (1968), pp. 288-289.

SISTER MARY GRACE KUZAWA. Fundamenta mathematicae: an examination of its founding and significance. The American mathematical monthly, vol. 77 (1970), pp. 485-492.

JOHN TENTmAN. The Uppsala school and the new logic. Journal of the history of ideas, vol. 28 (1967), pp. 445-450.

PAUL GOcHET. Les activities du Centre National de Recherches de Logique en 1969. Logique et analyse, n.s. vol. 13 (1970), pp. 384-395.

Anonymous. Les activites du Centre National de Recherches de Logique en 1970. Ibid., pp. 487-496.

GIOVANN VALATI. Pragmatismo e logica matematica. A reprint of 7813. l metodo della filosofia, Editori Laterza, Bari 1957, pp. 196-207.

Lucio LOMBARDO-RADICE. Federigo Enriques e la filosofia naturale agli inizi del secolo ventesimo. Natura, ragione e storia, by Federigo Enriques, Edizioni Scientifiche Einaudi, Torino 1958, pp. 3-67.

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

REVIEWS 219

L. CAMPEDELLi and A. BARLOTTI. Elenco cronologico dellepubblicazionidiL. Campedelli e A. Barlotti. Ibid., -pp. 255-286.

NicHmOAS RESCHER. Contingence in the philosophy of Leibniz. The philosophical review, vol. 61 (1952), pp. 26-39.

L. 3. RUSSELL. Review of Leibniz's Philosophicalpapers and letters (cf. XXII 336(9, 10, 11)). Philosophy, vol. 33 (1958), pp. 60-65.

GEORO KLAus. Review of Bochefiski's Formale Logik (XXV 57). Deutsche Zeitschriftftir Philosophic, vol. 6 (1958), pp. 828-835.

L. MINo-PALuELLo. Review of Boehner's Ockham (cf. XXIII 351). Mind, n.s. vol. 68 (1959), pp. 111-113.

ERNEST A. MOODY. Review of Henry's The De grammatico of St. Anselm (XXXVI 509). The journal of philosophy, vol. 62 (1965), pp. 239-241.

A. R. WALKER. Observations on the distribution and "significance " of terms in propositions. The Australasian journal of philosophy, vol. 38 (1960), pp. 120-136.

ROGER MONTAGUE. A note on traditional formal logic. The philosophical quarterly (St. Andrews), vol. 11 (1961), pp. 260-261.

J. HERBERT BLACKHURST. Syllogistic and non-syllogistic aspects of the comparative argument. Notre Dame journal offormal logic, vol. 11 (1970), pp. 34-36.

Boius CHENDOV. Graph-models for Aristotelian assertoric syllogistic. Ruch filozoficzny, vol. 29 no. 1 (1971), pp. 43-47.

JAN WOLEISKI. Rachunek zdan' w "Principia mathematics" (Propositional calculus in "Principia mathematica"). Ibid., pp. 49-51.

WIuLLAM TutmmE PARRY. In memoriam Clarence Irving Lewis (1883-1964). Notre Dame journal offormal logic, vol. 11 (1970), pp. 129-140.

ALLEN W. WOOD. Review of Husserl's Formal and transcendental logic and of Bachelard's A study of Husserl's Formal and transcendental logic. The philosophical review, vol. 80 (1971), pp. 267-273.

JACK NORMAN. Russell and Tractatus 3.1432. Analysis (Oxford), vol. 29 no. 6 (1969), pp. 190-192.

R. B. BRLrmwAN. Bertrand Russell as philosopher of science. The British journal for the philosophy of science, vol. 21 no. 2 (1970), pp. 129-132.

S. BLACKBURN. Review of Prior's Papers on time and tense (XXXVI 515-516). Ibid., vol. 19 no. 4 (1969), pp. 371-373.

PETER RADCLIFF. Review of Cohen's The diversity of meaning (XXXVI 316). Dialogue, vol. 4 no. 1 (1965), pp. 120-122.

WALTER CERF. Review of Austin's How to do things with words (XXXVI 513). Mind, n.s. vol. 75 (1966), pp. 262-285.

TADEUSZ KuBInsKI. Review of Aqvist's A new approach to the logical theory of interroga- tives, Part I (XXXI 403). Polish. Studia logica, vol. 25 (1969), pp. 189-194.

B. A. 0. WILLIAMS. Review of The revolution in philosophy (cf. XXV 260(1), 261(1, 3, 5, 7), 262(1, 3, 5, 7)). Philosophy, vol. 33 (1958), pp. 65-67.

ANTHoNY QUINTON. Review of Urmson's Philosophical analysis (XXV 382). Ibid., pp. 67-70.

E. J. LEMMON. Review of von Wright's Logical studies (XXXV 460-461). Ibid., vol. 34 (1959), pp. 252-253.

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

220 REVIEWS

SYDNEY E. HOOPER. Review of Kattsoff's Logic and the nature of reality (XXIII 238).

Ibid., pp. 253-257.

A. T. KOLNAT. Review of Ferrater Mora's Diccionario de filosofia. Fourth edition (XXV

249). Ibid., vol. 36 (1961), pp. 85-86.

F. H. HEINEMANN. German philosophy. Ibid., vol. 38 (1963), pp. 83-87.

A review of Fraenkel's Mengenlehre und Logik (XXXIV 112) and some other publications.

F. H. HEINEMANN. German philosophy. Ibid., vol. 33 (1958), pp. 365-368.

A review of Stegmuller's Das Wahrheitsproblem und die Idee der Semantik (XXXI 496) and

some other publications.

F. HEINEMANN. German philosophy. Ibid., vol. 34 (1959), pp. 355-359.

A review of Carnap's Induktive Logik und Wahrscheinlichkeit (XXIV 272), Patzig's Die

Aristotelische Syllogistik (XXXI 102), and some other publications.

WILLIAM KNEALE. Review of Carnap's The logical structure of the world, Pseudoproblems in

philosophy (XXXVI 551). The British journalfor the philosophy of science, vol 18 no.4(1968),

pp. 340-342.

BAs C. vAN FRAAssEN. Review of the same. Philosophy of science, vol. 35 (1968), pp. 298-

299.

WALTHER BRINING. Der Gesetzesbegriff im Positivismus der Wiener Schule. Beihefte zur

Zeitschrift fur Philosophische Forschung, no. 10, Westkulturverlag Anton Ham, Meisenheim

am Glan 1954, 101 pp.

ERHARD ALBREcHT. Review of the preceding. Deutsche Zeitschriftfiar Philosophie, vol. 6

(1958), pp. 822-828.

KARL R. POPPER. Sober die Miglichkeit des Erfahrungswissenschaft und der Metaphysik.

German version of XXXV 169(1). Ratio (Frankfurt a..M.), vol. 1 no. 2 (1957-58), pa. 1-16.

GERHARD TINTNER. Methodology of mathematical economics and econometrics. Interna-

tional encyclopedia of unified science, vol. 2 no. 6. The University of Chicago Press, Chicago

and London, 1968, ix + 113 pp.

R. G. SWINBURNE. Choosing between confirmation theories. Philosophy of science, vol. 37

(1970), pp. 602-613.

ALEx C. MIcHARos. Two theorems of degree of confirmation. Ratio (Oxford), vol. 7 (1965),

pp. 196-198.

ALEX C. MICHIALOs. Zwei Theoreme des Bewahrungsgrades. German version of the pre-

ceding. Ratio (Frankfurt a.M.), vol. 7 (1965), pp. 181-183.

P. SuPPEs and M. WHNET. An axiomatization of utility based on the notion of utility differen-

ces. Management science, vol. 1 (1955), pp. 259-270.

NELSON GOODMAN. Fact, fiction, & forecast. The Athlone Press, London 1954, 126 pp. Identical with XXV 250.

MARGARPT MACDONALD. Review of the preceding. Philosophy, vol. 31 (1956), pp. 268- 269.

R. G. SWINBURNE.' 'Grue.' Analysis (Oxford), vol. 28 no. 4 (1968), pp. 123-128.

C. D. BROAD. The principles of demonstrative induction. A reprint of XXXII 554. Induc-

tion, probability, and causation, by C. D. Broad, D. Reidel Publishing Company, Dordrecht-

Holland 1968, pp. 127-158.

HENRY E. KYBURG, Jr. Review of Broad's Induction, probability, and causation (cf. XXXCVII

220(19)). The philosophical review, vol. 80 (1971), pp. 244-251.

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

REVIEWS 221

HowARD SMOKLER. Review of the same. Thejournal ofphilosophy, vol. 67 (1970), pp. 45- 49.

IAN HACKING. Review of Levi's Gambling with truth (XXXVI 318). Synthese, vol. 17 (1967), pp. 444-448.

RONAW N. GIERn. Review of the same. The philosophical review, vol. 78 (1969), pp. 113- 116.

J. L. MACKIE. Review of the same. The British journal for the philosophy of science, vol. 19 no. 3 (1968), pp. 261-263.

LuDovico GEYMONAT. Filosofia e filosofia delta scienza. Feltrinelli Editore, Milan 1960, 200 pp.

JOSEPH MARGOLI. Some prospects of synoptic philosophy. Ratio (Oxford), vol. 9 (1967), pp. 105-121.

A review of Smart's Philosophy and scientific realism (XXVI 564).

JOSEPH MARGous. Einige Aussichten der synoptischen Philosophie. German version of the preceding. Ratio (Frankfurt a.M.), vol. 9 (1967), pp. 100-113.

W. A. SucwrNmG. Functional laws and the regularity theory. Analysis (Oxford), vol. 29 no. 2 (1968), pp. 50-51.

S. KoRNER. On philosophical arguments in physics. Observation and interpretation, A sym- posium of philosophers and physicists, Proceedings of the Ninth Symposium of the Colston Re- search Society held in the University of Bristol April 1st-April 4th, 1957, edited by S. Kdrner, Academic Press Inc., New York, and Butterworths Scientific Publications, London, 1957, pp. 97-101.

L ROSENFELD, S. K6RNER, M. POLANYI, E. H. HUrrEN, A. J. AYER, M. FIERZ, D. BOHM, H. 3. GROENEWOLD, J.-P. VIGIER, G. StssmANN, P. K. FEYERABEND, N. HUSH, U. OPIK, F. C. FRANK, D. M. MACKAY, W. B. GALLiE, J. COHEN. Discussion. Ibid., pp. 107-118.

CARL G. HEMPEL and PAUL OPPENHEIM. Studies in the logic of explanation. A partial reprint of XIV 133(1). The structure of scientific thought, An introduction to philosophy of science, edited by Edward H. Madden, Houghton Mifflin Company, Boston 1960, pp. 19-29.

PHmup FRANK. Einstein, Mach, and logicalpositivism. Ibid., pp. 84-93. (Reprinted from Albert Einstein, Philosopher-scientist, edited by Paul Arthur Schilpp, Tudor Publishing Co, New York 1949, pp. 271-286.)

S. KORNER. On philosophical arguments in physics. A reprint of XXXVII 221(9). Ibid., pp. 106-1 0.

RODERCK M. CHISHOLM. Law statements and counterfactual inference. A reprint of XXI 86. Ibid., pp. 229-235.

RuDouF CARNAP. Statistical and inductive probability. A reprint, with different title, of XIX 78 (9). Ibid., pp. 269-279.

A. J. AYER. The conception ofprobability as a logical relation. A reprint of XXXI 145(14). Ibid., pp. 279-284.

EDWARD H. MADDEN. The riddle of induction. A reprint of XXIV 277. Ibid., pp. 312- 323.

L. E. PALmRiu. A note on the contrary-to-fact conditional. Theoria (Lund), vol. 21 (1955), pp. 179-181.

P. V. KoPNiN. Vvddinie. Zadadi i osnovnyd pondtid logiki nauenogo isslidovanid. (Intro- duction. Problems and fundamental concepts of scientific research.) Logika nau6nogo issli- dovania, Izdatdl'stvo "Nauka," Moscow 1965, pp. 3-18.

g. S. 2ARIKOV. Glava pervad. Naucnad problima. (Chapter one. The scientific problem.) Ibid., pp. 19-44.

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

222 REVIEWS

V. V. KosoLAPov. Glava vtorad. Fakt kak osnovanil nau6nogo znanid. (Chapter two. Fact as the foundation of scientific knowledge.) Ibid., pp. 45-67.

V. V. KoSOLAPov. Glava trdt 'a. Naulnad abstrakcid. (Chapter three. Scientific abstraction.) Ibid., pp. 68-80.

P. F. JOLON. Glava cetvirtad. Sistema teoriticeskogo znanid. (Chapter four. The system of theoretical knowledge.) Ibid., pp. 81-112.

S. B. KRIMsKU. Glava pdtad. Int6rpretacid naucnyh teorif. (Chapter five. The interpretation of scientific theories.) Ibid., pp. 113-143.

M. V. PoPovit. Glava sdstad. Provdrka istinnosti teorii. (Chapter six. The verification of scientific theories.) Ibid., pp. 144-176.

P. V. KOPNIN. Glava sed'mad. Perehod ot verodtnogo znanid k dostovernomu. (Chapter seven. The transition from probable to certain knowledge.) Ibid., pp. 177-197.

M. V. PoPovit. Glava vos'mad. Vydvidnie pridelov tiorii v hode ee razvitid. (Chapter eight. The revelation of the limits of a theory in the course of its development.) Ibid., pp. 198- 220.

I. V. BY6KO and t. S. ZAsxov. Glava ddvdtad. Nau~nyj poisk. (Chapter nine. Scientific search.) Ibid., pp. 221-243.

S. B. KRmmsKu and A. T. ARTis. Glava ddsdtad. Logi~iskii principy pierhoda ot odnoj tiorii k drugoj. (Chapter ten. Logical principles of the transition from one theory to another.) Ibid., pp. 244-288.

P. V. KoPNIN. Glava odinnadcatad. Sistdma tdorij. Nauka kak prikladnad logika. (Chapter eleven. The system of theories. Science as applied logic.) Ibid., pp. 289-310.

I. A. BUNTING. Some difficulties in Stenius' account of the independence of atomic states of affairs. The Australasian journal of philosophy, vol. 43 (1965), pp. 368-375. [Cf. XXXVI 557(5).]

JAY F. ROSENBERG. Wittgenstein's self-criticisms or "Whatever happened to the picture theory?" Nouts, vol. 4 (1970), pp. 209-223.

A. G. N. FLEW. Introduction. A reprint of XVII 284. Logic and language (first and second series), edited and with introductions by Antony Flew, Doubleday Anchor Books, Doubleday & Company, Inc., Garden City, N.Y., 1965, pp. 3-12.

GLBERT RYLE. Systematically misleading expressions. A reprint of XVII 284. Ibid., pp. 13-40.

FiRDRicH WAISMANN. Verifiability. A reprint of XVII 284. Ibid., pp. 122-151. A. G. N. FLEW. Introduction. A reprint of XXXVI 351. Ibid., pp. 217-226. D. F. PEARS. Universals. A reprint of XXXVI 351. Ibid., pp. 267-281. GILBERT RyL. Categories. A reprint of XXXVI 352. Ibid., pp. 281-298. G. E. MooRE. Is existence a predicate? A reprint of XXXVI 352. Ibid., pp. 299-312. G. J. WARNOCK. 'Every event has a cause.' A reprint of XXXVI 352. Ibid., pp. 312-330. D. F. PEARS. Incompatibilities of colours. A reprint of XXXVI 352. Ibid., pp. 330-341. DOUGLAS GASKcNG. Mathematics and the world. A reprint of XXX 402. Ibid., pp. 427-

445.

Gumo CALOGERO. No rule for thinking, only one rule for meaning. Thinking and meaning, Entretiens d'Oxford 1962, Editions Nauwelaerts, Louvain, and Beatrice-Nauwelaerts, Paris, 1963, pp. 33-37.

J. HYPPOLTE, KARL LbwrrH, N. RoTENSmmci, J. ZARAGOETA, A. C. EWmNG, G. Ryu, C. PERELMAN, J. Mois.u, A. Guzzo, A. DE. CAMPo, G. CALOGERO. Discussion. Ibid., pp. 37-50.

These are identical with XXIX 67(16, 17).

A. J. AyR. Names and descriptions. Ibid., pp. 51-54. L. J. RUSSELL, J. Dopp, J. N. RFNDLAY, A. J. AYER. Discussion. Ibid., pp. 54-63. These are identical with XXIX 197(2, 3).

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions

REVIEWS 223

A. J. AYER. The a priori. A reprint of chapter 4 of X 134. Readings in introductory philo- sophical analysis, edited by John Hospers, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1968, pp. 47-58.

JOHN WISDOM. Other minds I. Other minds, by John Wisdom, Philosophical Library, New York, and Basil Blackwell, Oxford, 1952, pp. 1-34; second edition, Basil Blackwell, Oxford 1965, and Philosophical Library, New York 1966, pp. 1-34; also, paperbound reprint, Univer- sity of California Press, Berkeley and Los Angeles 1968, pp. 1-34. (Reprinted from Mind, n.s. vol. 49 (1940), pp. 369-402.)

JOHN WISDOM. Other minds II. Ibid., pp. 35-55; ibid., pp. 35-55; also ibid., pp. 35-55. (Reprinted from Mind, n.s. vol. 50 (1941), pp. 1-21.)

JOHN WISDOM. Other minds IV. Ibid., pp. 80-113; ibid., pp. 80-113; also ibid., pp. 80-113. (Reprinted from Mind, n.s. vol. 50 (1941), pp. 209-242.)

JOHN WISDOM. Symposium: other minds. Ibid., pp. 192-217; ibid., pp. 192-217; also ibid., pp. 192-217. (Reprinted from Aristotelian Society supplementary volume XX, London 1946, pp. 122-147.)

JOHN WISDOM. Synopsis of papers. Other minds. Ibid., pp. 218-219; ibid., pp. 218-219; also ibid., pp. 218-219.

JOHN WISDOM. The concept of mind. Ibid., pp. 220-235; ibid., pp. 220-235; also ibid., pp. 220-235. (Reprinted from Proceedings of the Aristotelian Society, n.s. vol. 50 (1949-50), pp. 189-204.)

ZENO VENDLER. Review of Charlesworth's Philosophy and linguistic analysis (XXXVI 559). Foundations of language, vol. 2 (1966), pp. 94-96.

JOHN THOMAS CANTY. Ontology: Lesniewski's logical language. Ibid., vol. 5 (1969), pp. 455-469.

JOHN HOLLOWAY. Language and intelligence. Macmillan & Co., Ltd. London 1951, xv + 192 pp.

ANTHONY QUINTON. Review of the preceding. Philosophy, vol. 29 (1954), pp. 258-261.

SUSANNE K. LANGER. Language and symbolism. A reprint of pp. 53-78 and 93-102 of VIII 87. Problems in aesthetics, An introductory book of readings, second, revised and expanded edition, edited by Morris Weitz, The Macmillan Company and Collier-Macmillan Limited, London 1970, pp. 247-270.

R. E. ALLEN. The ontological argument. The philosophical review, vol. 70(1961), pp. 56-66.

RAZIEL ABELSON. Not necessarily. Ibid., pp. 67-84.

IVAN BOH. Reflections on Bergmann's ontology. Proceedings of the American Catholic Philosophical Association, vol. 42 (1968), pp. 110-118.

FmRrz HEIRmAN. Erkenntsnistheorie. Die Philosophie im XX. Jahrhundert, eine Enzyklo- pdidische Darstellung ihrer Geschichte, Disziplinen und Aufgaben, edited by Fritz Heinemann, Ernst Klett Verlag, Stuttgart 1959, pp. 295-312; also second edition, revised and enlarged, Ernst Klett Verlag, Stuttgart 1963, pp. 295-312.

0. R. JONES. In disputation of an undisputed thesis. Analysis (Oxford), vol. 28 no. 4 (1968), pp. 113-122. [Cf. XXXIII 150(14), 150(15), 151(1).J

MoRRIS LAZEROWrrZ. Understanding philosophy. Current philosophical issues, Essays in honor of Curt John Ducasse, compiled and edited by Frederick C. Dommeyer, Charles C. Thomas, Springfield, Illinois, 1966, pp. 27-53.

This content downloaded from 62.122.73.34 on Wed, 18 Jun 2014 18:11:32 PMAll use subject to JSTOR Terms and Conditions


Recommended