The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 10 of Mathematical Reviews Vol. 38, Issue 3
[page]
1969
Mathematical Reviews
Preserved Fulltext
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
1986
Philosophiques
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(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