6^th ACMS Conference Proceedings
Table of Contents

Calvin College (1987) PREFACE, p.1 MAIN ADDRESS "3:16--An Approach to Bible Study", p.3 Donald E. Knuth, Stanford University PHILOSOPHICAL PAPERS "A Philosophical Analysis of Formalism", p.27 Michael Detlefsen, Notre Dame University "An Activist Model of the Metaphysics of Mathematics", p.55 Christopher Menzel, Texas A&M University "Observations on Mathematics and the Christian Faith", p.73 David Laverell and Carl Sinke, Calvin College MATHEMATICAL PAPERS "Conic Sections in lp", p.87 Richard Laatsch, Miami University of Ohio "Riesz Spaces and Their Applications in Economics", p.97 Calvin Piston, John Brown University "Another Look at Pick's Theorem", p.109 Dale Varberg, Hamline University GENERAL PAPERS AND PRESENTATIONS "Mathematical Reflections: Standing on the Shoulders of Giants", p.119 Karl J. Smith, Santa Rosa Junior College "Logic and Proof for Mathematicians: A Twentieth Century Prospective", p.135 Calvin Jungsma, Dordt College "Computer Science in Liberal Arts Colleges", p.145 James Bradley, Calvin College "The Role of Computer Science in a Liberal Arts College", p.149 Russell C. Bjork, Gordon College "Variations on a Theme", p.155 R. Creighton Buck, University of Wisconsin LIST OF CONFERENCE DELEGATES