Filters








3,522 Hits in 5.3 sec

Page 514 of Mathematical Reviews Vol. 35, Issue 3 [page]

1968 Mathematical Reviews  
B. * Logic: A modern introduction to deductive reasoning. LOGIC AND FOUNDATIONS Goe, George A reconstruction of formal logic. Notre Dame J.  ...  Notre Dame J. Formal Logic 7 (1966), 206-208. The author modifies a system due to W. V. O.  ... 

Page 750 of Mathematical Reviews Vol. 58, Issue 2 [page]

1979 Mathematical Reviews  
Results of R. T. Brady [Notre Dame J.  ...  Notre Dame J. Formal Logic 18 (1977), no. 2, 292-294. The author extends the analytic tableau rules for propositional logic [R. Smullyan, First-order logic, Ergeb. Math.  ... 

Page 5441 of Mathematical Reviews Vol. , Issue 2002H [page]

2002 Mathematical Reviews  
(English summary) Notre Dame J. Formal Logic 40 (1999), no. 4, 554-567.  ...  Quinn (1-NDM-Q; Notre Dame, IN) See also *00010, 01001, 01002, 01003, 01004, 01005. 03B General logic 2002h:03010 03B05 03F20 Chubaryan, A. A.  ... 

Creating a life: Emil Artin in America

Della Dumbaugh, Joachim Schwermer
2012 Bulletin of the American Mathematical Society  
About the authors Della Dumbaugh is a professor of mathematics at the University of Richmond. Her research focuses on the history of nineteenth-and twentieth-century mathematics.  ...  Joachim Schwermer is professor of mathematics at the University of Vienna and director at the Erwin-Schrödinger International Institute for Mathematical Physics, Vienna.  ...  For a complete list, see "Miscellaneous back pages," Notre Dame Journal of Formal Logic, 8 (1967): 1-2. 6 July 1958].  ... 
doi:10.1090/s0273-0979-2012-01398-8 fatcat:6ijrz7wacbdhrbci6rtvqcilwu

Page 6404 of Mathematical Reviews Vol. , Issue 95k [page]

1995 Mathematical Reviews  
Formal Logic 28 (1987), no. 1, 80-98; MR 88f:03001] (374-392). To carry out the publication of a four-volume collection of scholarly articles on Frege’s philosophy was a good idea.  ...  Phi- los. 23 (1985), 237-248] (343-354); Joan Weiner, Putting Frege in perspective [in Frege synthesized, 9-27, Reidel, Dordrecht, 1986] (355-373); Hans Sluga, Frege against the Booleans [Notre Dame J.  ... 

Book Reviews

Daniel K. Lapsley
1992 Journal of Teacher Education  
Notre Dame, IN: University of Notre Dame Press. Meilaender, G. (1984). The theory and practice of virtue. Notre Dame, IN: University of Notre Dame Press. Norton, D. (1988).  ...  Journal of Teacher Education * May-June 1992, Vol. 43, No. 3, 230-235 + 235  ... 
doi:10.1177/0022487192043003011 fatcat:uqigmlrwsvczreblygt3jltqqi

Page 1097 of Mathematical Reviews Vol. 43, Issue 5 [page]

1972 Mathematical Reviews  
Notre Dame J. Formal Logic 11 (1970), 257-288.  ...  This is the second volume of a projected three-volume cumulative author index covering the first 11 years of Referativnyi Zurnal Matematika.  ... 

Page 7 of Mathematical Reviews Vol. 50, Issue 1 [page]

1975 Mathematical Reviews  
For some reason a good deal of the bibliography has been suppressed. Fox, Frank 47 A note on a consistency proof. Notre Dame J. Formal Logic 15 (1974), 176.  ...  Minc (Leningrad) Liu, Shih Chao 50 A theory of first order logic with description. Bull. Inst. Math. Acad. Sinica 2 (1974), no. 1, 43-65. T. Hailperin [J.  ... 

Page 1822 of Mathematical Reviews Vol. , Issue 83e [page]

1983 Mathematical Reviews  
Notre Dame J. Formal Logic 22 (1981), no. 4, 289-300. The controversy generated by A. N.  ...  The following approach to logical deduction in the field of artificial intelligence is discussed. Initial data are formalized in a first-order language.  ... 

Page 5 of Mathematical Reviews Vol. 49, Issue 1 [page]

1975 Mathematical Reviews  
. | 19 On the real logical structure of Lewis’ independent proof. Notre Dame J. Formal Logic 14 (1973), 543-546. _ Ina well-known discussion [C. I. Lewis and C. H.  ...  A list of corrections to Volume 1 of this subseries of collec- tions [same Trudy 98 (1968); translated as Proceedings of the Steklov Institute of Mathematics, No. 98 (1968): The caleuli of symbolic logic  ... 

Page 1304 of Mathematical Reviews Vol. 49, Issue 4 [page]

1975 Mathematical Reviews  
Formal Logic 11 (1970), 1-15; MR 44 #6440].  ...  The author’s aim is “to give in a modern form a proof of Wajsberg’s theorem as well as to discuss some later proofs of this theorem” such as that of M. D. Gladstone [Notre Dame J.  ... 

Page 2795 of Mathematical Reviews Vol. , Issue 82g [page]

1982 Mathematical Reviews  
Burgess, John P. 82g:03015 The completeness of intuitionistic propositional calculus for its intended interpretation. Notre Dame J. Formal Logic 22 (1981), no. 1, 17-28.  ...  of classical logic.  ... 

Page 2496 of Mathematical Reviews Vol. , Issue 80G [page]

1980 Mathematical Reviews  
Notre Dame J. Formal Logic 20 (1979), no. 3, 636-638. This article of two pages recounts an early critique of Boolean 80g:03003 algebra, beginning with advances made by C. S.  ...  The volumes contain, after a short foreword and an extended introduction, a series of quotations which give in parallel the ancient Greek text and a modern Greek translation.  ... 

Page 01 of Mathematical Reviews Vol. , Issue 89C [page]

1989 Mathematical Reviews  
Notre Dame J. Formal Logic 28 (1987), no. 3, 322-355.  ...  to which what you see here in these six volumes is pretty much what there is.  ... 

Page 1522 of Mathematical Reviews Vol. 46, Issue 6 [page]

1973 Mathematical Reviews  
Paul Duals of Smullyan trees. Notre Dame J. Formal Logic 18 (1972), 387-393.  ...  Cover-to-cover translation of Volume 8 of Zap. “{auén. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI). Table of Contents: G. V.  ... 
« Previous Showing results 1 — 15 out of 3,522 results