Filters








3,684 Hits in 5.1 sec

Page 10 of Mathematical Reviews Vol. 38, Issue 3 [page]

1969 Mathematical Reviews  
Notre Dame J. Formal Logic 7 (1966), 361-364. 2008  ...  Notre Dame J. Formal Logic 7 (1966), 344-348. Skala, Helen L. 2000 The irreducible generating sets of 2-place functions in the 2-valued logic. Notre Dame J. Formal Logic 7 (1966), 341-343.  ... 

Page 442 of The Catholic Library World Vol. 32, Issue 7 [page]

1961 The Catholic Library World  
UNIVERSITY OF NOTRE DAME PRESS Notre Dame’ Indiana THE CATHOLIC LIBRARY WORLD  ...  Flanagan (Illinois) and others. 98 pp. $3.50 A HISTORY OF FORMAL LOGIC By I. M. Bochenski The answer to a long-felt need to reinves- tigate the history of the science of formal logic.  ... 

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.  ... 

Hommage à Hugues Leblanc, philosophe logicien

Robert Nadeau
1986 Philosophiques  
Paul Snyder, Université Temple), Notre Dame Journal of Formal Logic, vol. 13, n° 3 (1972), pp. 387-393.  ...  Belnapjr., Université YaIe), Notre Dame Journal of Formal Logic, vol. iii, n° 3 (1962), pp.201-205.  ... 
doi:10.7202/203306ar fatcat:gitq7mpnqbd25jolisoq64mfza

Page 4730 of Mathematical Reviews Vol. , Issue 92i [page]

1992 Mathematical Reviews  
Notre Dame J. Formal Logic 32 (1991), no. 2, 242-247. Summary: “B. L.  ...  Notre Dame J. Formal Logic 31 (1990), no. 4, 487-497. D. Guaspari and R. M. Solovay [Ann. Math.  ... 

Page 1920 of Mathematical Reviews Vol. , Issue 95d [page]

1995 Mathematical Reviews  
(English summary) Notre Dame J. Formal Logic 35 (1994), no. 1, 41-66.  ...  AND FOUNDATIONS 95d:03001 03-03 01A55 03B10 Shin, Sun-Joo (1-NDM-Q; Notre Dame, IN) Peirce and the logical status of diagrams.  ... 

Page 4435 of Mathematical Reviews Vol. , Issue 95h [page]

1995 Mathematical Reviews  
(English summary) Notre Dame J. Formal Logic 35 (1994), no. 1, 130-146.  ...  (1-NDM-Q; Notre Dame, IN) Frege’s reduction.  ... 

Page 192 of Mathematical Reviews Vol. 32, Issue 2 [page]

1966 Mathematical Reviews  
LOGIC AND FOUNDATIONS See also 1126, 2287, 2289. Henry, Desmond Paul 1114 Ockham, suppositio, and modern logic. Notre Dame J. Formal Logic 5 (1964), 290-292. Seeking to extricate modern logic from I.  ...  Volume I was reviewed in 1957 [MR 19, 827] and Volume II in 1958 [MR 20 #6338]. This volume is the last of the “Opere scelte”, as promised by the editors.  ... 

Page 4127 of Mathematical Reviews Vol. , Issue 92h [page]

1992 Mathematical Reviews  
Asser (Greifswald) 03A Philosophical and critical See also 00007. 92h:03004 03A05 03B30 Azzouni, Jody (1-TUFT) A simple axiomatizable theory of truth. Notre Dame J.  ...  Formal Logic 32 (1991), no. 3, 458-493. The author makes a contribution to recent investigations of Kripke, Herzberger, Gupta, et al. on how to represent a truth predicate in formal languages.  ... 

JSL volume 55 issue 4 Cover and Back matter

1990 Journal of Symbolic Logic (JSL)  
Friedman, Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA 02139; or Julia Knight, Department of Mathematics, University of Notre Dame, Notre Dame, IN 46SS6; or Andre Scedrov  ...  CONTENTS OF VOLUME 55 RESEARCH PAPERS ABRUSCI, V. MlCHELE, GlRARD, JEAN-YVES, a n d VAN DE WlELE, JACQUES. Some uses of dilators in combinatorial problems. II 32 AJTAI, MIKLOS andFAGiN, RONALD.  ... 
doi:10.1017/s0022481200025354 fatcat:sww67mu2f5bypicnibhgjnd46m

Page 9 of Mathematical Reviews Vol. 51, Issue 3 [page]

1976 Mathematical Reviews  
Hiz, Notre Dame J. Formal Logic 14 (1973), 253-258; MR 47 #8235].  ...  Frederick Rickey (Bowling Green, Ohio) 5258 Jablon, Peter A generalised propositional calculus. - Notre Dame J. Formal Logic 16 (1975), 295-297.  ... 

Page 1428 of Cognitive Science Vol. 32, Issue 8 [page]

2008 Cognitive Science  
a lead- ing psychologist and a leading logician, is about the choice of logical formalisms for representing actual reasoning.  ...  A must-read for anyone interested in people.” — Janet Kourany, University of Notre Dame A Bradford Book - 416 pp., 11 color illus. $50 cloth Origins of Human Communication Michael Tomasello A leading expert  ... 

JSL volume 59 issue 4 Cover and Back matter and Errata

1994 Journal of Symbolic Logic (JSL)  
a stable group, Notre Dame journal of formal logic, vol. 32 (1991), pp. 173-187.  ...  Stationary reflection and ideals 182 MEETINGS OF THE ASSOCIATION Annual Meeting of the Association for Symbolic Logic, Notre Dame, 1993 696 Spring Meeting of the Association for Symbolic Logic, Toronto  ...  vn ERRATA VOLUME 58 Page 481. In the paper Extending the first-order theory of combinators with self-referential truth by A.  ... 
doi:10.1017/s0022481200019150 fatcat:2regsfw6kvfmxhjdqwmdbytzqa

Page 4 of Mathematical Reviews Vol. 52, Issue 1 [page]

1976 Mathematical Reviews  
Notre Dame J. Formal Logic 15 (1974), 133-140.  ...  A brief account of the most basic concepts of symbolic logic: formal systems, models, consistency, completeness, categoricity, Sue Walker Toledo (New York) Quine, W. V. 4 The variable.  ... 

Page 16 of Mathematical Reviews Vol. , Issue 2000a [page]

2000 Mathematical Reviews  
(English summary) [Basic laws of arithmetic, 1, Sections 29-32] Notre Dame J. Formal Logic 38 (1997), no. 3, 437-474.  ...  MA) Grundgesetze der Arithmetik, 1, §§ 29-32.  ... 
« Previous Showing results 1 — 15 out of 3,684 results