DOCSLIB.ORG

Randolph and Savoy Interceptor Replacement

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Randolph and Savoy Interceptor Replacement PROJECT MANUAL FOR CITY OF LYNCHBURG Randolph and Savoy Interceptor Replacement INVITATION FOR BID #2021-022 DUE: 3:00 PM, December 17, 2020 PROCUREMENT DIVISION 3RD FLOOR CITY HALL 900 CHURCH STREET LYNCHBURG, VA 24504 TELEPHONE (434) 455-3970 Table of Contents Document Page # Bidding Requirements Advertisement For Bids ................................................................................................................ 3 Bid Form ........................................................................................................................................ 4 Escrow Account Election .............................................................................................................. 8 Equal Opportunity Report Statement ........................................................................................ 9 Statement Of Experience ............................................................................................................ 10 Statement Of Available Resources ............................................................................................ 11 Corporate Status Form............................................................................................................... 12 Questions To Bidders/Offerors .................................................................................................. 13 Construction Agreement ............................................................................................................ 14 City Of Lynchburg, Virginia Standard Performance Bond ................................................... 16 City Of Lynchburg Standard Labor And Material Payment Bond ...................................... 18 Escrow Agreement ...................................................................................................................... 21 Instructions To Bidders .............................................................................................................. 25 General Conditions ..................................................................................................................... 31 Supplemental Conditions ........................................................................................................... 90 Attachments Drawings PM - 2 ADVERTISEMENT FOR BIDS Sealed bids for "Randolph and Savoy Interceptor Replacement” will be received by the City of Lynchburg, Procurement Division, Third Floor City Hall, 900 Church Street, Lynchburg, VA 24504, until no later than 3:00 p.m., December 17, 2020. Although City Hall is currently closed to the public, FedEx, UPS, and the USPS will be given access to the building to deliver mail/packages to the Procurement Office. If vendors choose to hand deliver proposals, they can come to the main entrance to City Hall at 900 Church St. and call the Procurement Office directly at 434-455-3970 Monday – Friday from 8:30 a.m. to 5:00 p.m. A Procurement Office staff member will physically respond to the main entrance to receive the proposals and time stamp them at that time. It is the sole responsibility for the Bidder/Offeror to ensure their bid/proposals are time stamped prior to the deadline for submission. Please allow additional time to ensure this is done. As always, late bids/proposals will not be considered. Project Description: The Randolph and Savoy Interceptor Replacement project included the installation of approximately 1,400 feet of 8-inch through 12-inch sanitary sewer pipe. The new sewer will be installed in an area along the Blackwater Creek Trail near Randolph Place. The project also includes the installation of two 30-inch steel casings, erosion and sediment control measures, storm structures, and other appurtenances in support of the replacement project. The project duration will be 365 days. An Optional Virtual Pre-Bid Conference will be held at 11:00 a.m., December 1, 2020. There will be a “Virtual Pre-Bid Conference” link on the City’s website at: www.lynchburgva.gov/current- solicitations so that the public can click on and participate in the proceedings via a smartphone or laptop. If you prefer a direct e-mail invitation, please contact Melissa Tillman at (434)455-4228 or e-mail her at: [email protected] and provide your e-mail address. All requests for clarification of or questions regarding this solicitation may be addressed to Melissa Tillman, CPPB, Contract Specialist at 434-455-4228, or by email to [email protected]. Inquiries must be received by 12:00 p.m., December 9, 2020, in order to be considered. All posted addenda must be signed and accompany any bid submitted, failure to do so may subject bidder to disqualification. Contact initiated by a bidder concerning this solicitation with any other City representative, not expressly authorized elsewhere in this document, is prohibited. Any such unauthorized contact may result in disqualification of the bidder. There will be a “Live Bid Opening” link on the City’s website at: www.lynchburgva.gov/current- solicitations so that the public can click on and observe the proceedings at 3:00 p.m., December 17, 2020. Once the project is awarded, the bid results will be posted on the City’s Notices of Award Page at: www.lynchburgva.gov/notices-award . Nothing herein is intended to exclude any responsible vendor, his product or service or in any way restrain or restrict competition. All responsible vendors are encouraged to bid. For information pertaining to this solicitation, including bid documents, addenda, bid tabulation and notice of award, bidders may access public notification electronically on the Procurement website: http://www.lynchburgva.gov/current-solicitations. PM - 3 BID FORM Melissa Tillman, CPPB Contract Specialist Procurement Division City of Lynchburg Third Floor, City Hall 900 Church Street Lynchburg, Virginia 24504 Dear Mrs. Tillman: The undersigned, as bidder, hereby declares that the only persons interested in this bid as principal, or principals, is or are named herein and that no person other than herein mentioned has any interest in this bid or in the Construction Agreement to be entered into; that this bid is made without connection with any other person, company, or parties making a bid; and that it is in all respects fair and in good faith, without collusion or fraud. The undersigned, having visited and examined the site and having carefully studied all the Contract Documents, including without limitation, all drawings and specifications pertaining to " Randolph and Savoy Interceptor Replacement " for the City of Lynchburg, Virginia, hereby proposes to furnish all labor, equipment, materials, and services and to perform all operations necessary to execute and complete the Work required for the project, in strict accordance with the Contract Documents, The City of Lynchburg Manual of Specifications and Standard Details, latest edition, and , together with Addenda numbered through ______ issued during bidding period and hereby acknowledged, subject to the terms and conditions of the Construction Agreement for the sum of: $ DOLLARS ($ ), which shall be referred to hereinafter as the Base Bid. It is understood and agreed that the Owner, in protecting its best interests, reserves the right to reject any or all bids or waive any defects. Any changes, erasures, modifications, deletions in the bid form, or alternate proposals not specified in the Advertisement for Bids may make the bid irregular and subject to rejection. Contractors will indicate a unit price for each item listed below. If the Construction Agreement is for a lump sum price, unless clearly and specifically indicated otherwise in the Contract Documents, all unit prices only apply to changes in the Work. The listed bid items are to contain all necessary costs required for completion of the Work in accordance with the Contract Documents. If the Construction Agreement is for unit prices and not for a lump sum price, it is understood that all quantities listed on the following pages are estimated quantities, and the Owner reserves the right to raise, lower, or eliminate any quantity or item, and in any case, the unit prices shall be used in determining partial and final payment. It is further understood that costs to cover all components of the Work as described in the Contract Documents are included in this bid, even in cases where specific line items are not identified. We are properly equipped to execute all work of the character and extent required by the Contract Documents, and we will enter into the Construction Agreement for the execution and completion of the Work in accordance with the Contract Documents; and we further agree that, if awarded the Construction Agreement, we will commence the Work on the date stated in the "Notice to Proceed" and will maintain a work force large enough to execute the Work and all obligations no later than the completion date stated in the Contract Documents. PM - 4 Enclosed herewith is the following Security, offered as assurance that the undersigned will enter into the Construction Agreement for the execution and completion of the Work in accordance with the Contract Documents: Bidder's Certified Check issued by (name of bank) in the amount of: $ (5% of Base Bid amount) Bidder’s Bid Bond for 5% of Base Bid Amount Issued by (name of surety authorized to do business in Virginia). The undersigned hereby agrees, if awarded the Construction Agreement, to execute and deliver to the City within ten (10) days after his receipt of the Notice of Award, a
Load more

Recommended publications
  • Mathematics and Computation
    Mathematics and Computation Mathematics and Computation Ideas Revolutionizing Technology and Science Avi Wigderson Princeton University Press Princeton and Oxford Copyright c 2019 by Avi Wigderson Requests for permission to reproduce material from this work should be sent to [email protected] Published by Princeton University Press, 41 William Street, Princeton, New Jersey 08540 In the United Kingdom: Princeton University Press, 6 Oxford Street, Woodstock, Oxfordshire OX20 1TR press.princeton.edu All Rights Reserved Library of Congress Control Number: 2018965993 ISBN: 978-0-691-18913-0 British Library Cataloging-in-Publication Data is available Editorial: Vickie Kearn, Lauren Bucca, and Susannah Shoemaker Production Editorial: Nathan Carr Jacket/Cover Credit: THIS INFORMATION NEEDS TO BE ADDED WHEN IT IS AVAILABLE. WE DO NOT HAVE THIS INFORMATION NOW. Production: Jacquie Poirier Publicity: Alyssa Sanford and Kathryn Stevens Copyeditor: Cyd Westmoreland This book has been composed in LATEX The publisher would like to acknowledge the author of this volume for providing the camera-ready copy from which this book was printed. Printed on acid-free paper 1 Printed in the United States of America 10 9 8 7 6 5 4 3 2 1 Dedicated to the memory of my father, Pinchas Wigderson (1921{1988), who loved people, loved puzzles, and inspired me. Ashgabat, Turkmenistan, 1943 Contents Acknowledgments 1 1 Introduction 3 1.1 On the interactions of math and computation..........................3 1.2 Computational complexity theory.................................6 1.3 The nature, purpose, and style of this book............................7 1.4 Who is this book for?........................................7 1.5 Organization of the book......................................8 1.6 Notation and conventions.....................................
    [Show full text]
  • 2019-2020 Catalog
    2019-2020 Catalog Creating Opportunities. Changing Lives. Table of Contents Introduction……………………………………………………………………….. 1 - 22 Enrollment Information…………………………………………………………… 23- 46 Expenses (Tuition & Fees)………………………………………………………… 47- 50 Financial Aid and Veterans Affairs Information………………………………….. 51- 57 Academic Policies………………………………………………………………… 58- 76 Other Regulations………………………………………………………………… 77- 99 Programs of Study (Curricula-Credit)……………………………………………. 100-211 Accounting and Finance………………………………………………….. 103-105 Advertising & Graphic Design…………………………………………… 106-108 Agribusiness Technology………………………………………………… 109-113 Associate Degree Nursing………………………………………………… 114-115 Associate in Arts (College Transfer)……………………………………… 116-119 Associate in General Education…………………………………………… 120-125 Associate in Science (College Transfer)………………………………….. 126-129 Automotive Systems Technology………………………………………… 130-136 Business Administration………………………………………………….. 137-140 Business Administration- Human Resource Management……………….. 141 Collision Repair & Refinishing Technology……………………………... 142-144 Computer-Integrated Machining…………………………………………. 145-149 Cosmetology……………………………………………………………… 150-155 Criminal Justice Technology…………………………………………….. 156-158 Early Childhood Education………………………………………………. 159-164 Electrical Systems Technology…………………………………………... 165-168 Healthcare Management Technology……………………………………. 169-171 Human Services Technology…………………………………………….. 172-174 HST/ Substance Abuse Concentration…………………………………… 175-176 Humanities/Fine Arts and Social/ Behavioral
    [Show full text]
  • Academic Catalog
    2020-2021 ACADEMIC CATALOG One Hundred and Twenty-Eighth Session Lynchburg, Virginia The contents of this catalog represent the most current information available at the time of publication. During the period of time covered by this catalog, it is reasonable to expect changes to be made without prior notice. Thus, the provisions of this catalog are not to be regarded as an irrevocable contract between the College and the student. The Academic Catalog is produced by the Registrar’s Office in cooperation with various other offices. 2 Academic Calendar, 2020-2021 Undergraduate (UG) Programs (Dates subject to change) FALL 2020 AUGUST Thurs 13 SUPER Program begins Fri 14 STAR Program begins Mon 17 Summer grades due Thurs 20 Move-in for First Years begins at 9:00 am Thurs-Sat 20-23 New Student Orientation Sat 22 Move-in for all other students Mon 24 Fall UG classes begin Wed 26 Summer Incomplete work due from students Fri 28 End of add period for full semester and 1st quarter (UG classes) Last day to file Fall Independent Study forms SEPTEMBER Fri 4 End of 1st quarter drop period for UG classes Last day for students w/ Spring Incompletes to submit required work Fri 11 Grades due for Spring Incompletes Last day for seniors to apply for graduation in May 2021 Fri 18 End of full semester drop period and audit period OCTOBER Fri 2 End of 1st quarter “W” period (UG classes) Spring 2021 course schedules due by noon (all programs) Fri 9 End of 1st quarter UG classes Mon 12 2nd quarter UG classes begin Wed 14 Midterm grades due by 10:00 am for full-semester
    [Show full text]
  • Venn Diagram Youtube
    Venn diagram youtube The best way to explain how the Venn diagram works and what its formulas show is to give 2 or 3 circles Venn diagram examples and problems with solutions. Problem-solving using Venn diagram is a widely used approach in many areas such as statistics, data science, business, set theory, math, logic and etc. A Venn Diagram is an illustration that shows logical relationships between two or more sets grouping items. Venn diagram uses circles both overlapping and nonoverlapping or other shapes. Despite Venn diagram with 2 or 3 circles are the most common type, there are also many diagrams with a larger number of circles 5,6,7,8,10…. Theoretically, they can have unlimited circles. Venn Diagram General Formula. This is a very simple Venn diagram example that shows the relationship between two overlapping sets X, Y. X — the number of items that belong to set A Y — the number of items that belong to set B Z — the number of items that belong to set A and B both. Following the same logic, we can write the formula for 3 circles Venn diagram :. Venn Diagram Examples Problems with Solutions. As we already know how the Venn diagram works, we are going to give some practical examples problems with solutions from the real life. Suppose that in a town, people are selected by random types of sampling methods. Note: The number of people who go by neither car nor bicycle is illustrated outside of the circles. It is a common practice the number of items that belong to none of the studied sets, to be illustrated outside of the diagram circles.
    [Show full text]
  • Problems in Argument Analysis and Evaluation
    PROBLEMS IN ARGUMENT ANALYSIS AND EVALUATION Windsor Studies in Argumentation Volume 6 TRUDY GOVIER Windsor Studies in Argumentation Windsor Ontario Canada Problems in Argument Analysis and Evaluation by Trudy Govier & Windsor Studies in Argumentation is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License, except where otherwise noted. Copyright Trudy Govier and Windsor Studies in Argumentation ISBN 978-0-920233-83-2 CONTENTS WSIA Editors v WSIA Editors' Introduction vii Preface viii 1. Rigor and Reality 1 2. Is a Theory of Argument Possible 20 3. The Great Divide 56 4. Two Unreceived Views about Reasoning and 84 Argument 5. The Problem of Missing Premises 123 6. A Dialogic Exercise 161 7. A New Approach to Charity 203 8. Reasons Why Arguments and Explanations are 242 Different 9. Four Reasons There are No Fallacies? 271 10. Formalism and Informalism in Theories of 311 Reasoning and Argument 11. Critical Thinking in the Armchair, the Classroom, 349 and the Lab 12. Critical Thinking about Critical Thinking Tests 377 13. The Social Epistemology of Argument 413 WSIA EDITORS Editors in Chief Leo Groarke (Trent University) Christopher Tindale (University of Windsor) Board of Editors Mark Battersby (Capilano University) Camille Cameron (Dalhousie University) Emmanuelle Danblon (Université libre de Bruxelles) Ian Dove (University of Nevada Las Vegas) Bart Garssen (University of Amsterdam) Michael Gilbert (York University) David Godden (Michigan State University) Jean Goodwin (North Carolina State University) Hans V. Hansen (University of Windsor) Gabrijela Kišiček (University of Zagreb) Marcin Koszowy (University of Białystok) Marcin Lewiński (New University of Lisbon) Catherine H. Palczewski (University of Northern Iowa) Chris Reed (University of Dundee) Andrea Rocci (University of Lugano) Paul van den Hoven (Tilburg University) Cristián Santibáñez Yáñez (Diego Portales University) Igor Ž.
    [Show full text]
  • Table of Contents
    Table of Contents Introduction.............................................................................. 3 – 20 Enrollment Information ......................................................... 21 – 38 Expenses (Tuition & Fees) ..................................................... 39 – 44 Introduction Student Financial Aid Consumer Information ...................... 45 – 52 Academic Policies .................................................................. 53 – 66 Other Regulations .................................................................. 67 – 84 Programs of Study (Curricula-Credit).................................. 85 – 164 General Education Department Associate in Arts (College Transfer)................................................ 90 – 93 Art & Design Department Advertising & Graphic Design ......................................................... 94 – 95 Floriculture Technology .................................................................... 96 – 97 Interior Design .................................................................................. 98 – 99 Business Technology Department Accounting ....................................................................................100 – 102 Business Administration ............................................................... 103 – 104 Business Administration: Banking & Finance Concentration ....105 – 106 Information Systems......................................................................107 – 109 Information Systems: Network Administration & Support Concentration
    [Show full text]
  • Semantics-4Th-Ed.Pdf
    Semantics Fourth Edition John I. Saeed Semantics Introducing Linguistics This outstanding series is an indispensable resource for students and teachers – a concise and engaging introduction to the central subjects of contemporary linguis- tics. Presupposing no prior knowledge on the part of the reader, each volume sets out the fundamental skills and knowledge of the field, and so provides the ideal edu- cational platform for further study in linguistics. 1 Andrew Spencer Phonology 2 John I. Saeed Semantics, Fourth Edition 3 Barbara Johnstone Discourse Analysis, Second Edition 4 Andrew Carnie Syntax, Third Edition 5 Anne Baker and Kees Hengeveld Linguistics 6 Li Wei, editor Applied Linguistics Semantics Fourth Edition John I. Saeed This fourth edition first published 2016 © 2016 John I. Saeed Edition History: Blackwell Publishers, Ltd (1e, 1997); Blackwell Publishing Ltd (2e, 2003; 3e, 2009) Registered Office John Wiley & Sons, Ltd, The Atrium, Southern Gate, Chichester, West Sussex, PO19 8SQ, UK Editorial Offices 350 Main Street, Malden, MA 02148-5020, USA 9600 Garsington Road, Oxford, OX4 2DQ, UK The Atrium, Southern Gate, Chichester, West Sussex, PO19 8SQ, UK For details of our global editorial offices, for customer services, and for information about how to apply for permission to reuse the copyright material in this book please see our website at www.wiley.com/wiley-blackwell. The right of John I. Saeed to be identified as the author of this work has been asserted in accordance with the UK Copyright, Designs and Patents Act 1988. All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, except as permitted by the UK Copyright, Designs and Patents Act 1988, without the prior permission of the publisher.
    [Show full text]
  • Wisconsin Indianhead Technical College 2020-2021 College Catalog
    Wisconsin Indianhead Technical College 2020-2021 College Catalog 800.243.9482 witc.edu Welcome! We are excited that you are considering one of the many educational opportunities provided by Wisconsin Indianhead Technical College (WITC). Our nationally-recognized College is committed to providing you with the skills and knowledge you need for a rewarding career. Our programs are offered at an affordable price and with faculty and staff whose top priority is helping you achieve your goals. At WITC, you will find the support you need in a dynamic learning environment. As you think about your options, consider the fact that Forbes, Washington Monthly, and the Aspen Institute all regard WITC as one of the nation’s best two- year colleges. Come develop skills that help you with your employment outlook and allow you to play an important role in your community. Be one of the many who decide it’s time to make a decision that will benefit not only you, but also those who live and work in your area. Join the thousands of people annually who make WITC their first choice. Come to WITC and Experience Success! Good luck, and please contact us if you have any questions about WITC’s programs and services. John Will, Ed.D. President Wisconsin Indianhead Technical College Accredited by the Higher Learning Commission. www.ncahlc.org EXPERIENCE SUCCESS WITC 2020-2021 Catalog This catalog contains general information about WITC’s programs and services, course descriptions, tuition and fees, and policies in existence at the time of this publication’s deadline, May 2020.
    [Show full text]
  • Lexical Semantics and Syntax: Commercial Transactions Reanalyzed
    Lexical semantics and syntax: commercial transactions reanalyzed Lexical semantics and syntax: commercial transactions reanalyzed 1 Richard Hudson University College London 1 This paper arose out of an attempt to revise an earlier paper on the same list of verbs, Hudson 2008a. In preparing it I have benefited greatly from comments on earlier versions from a number of colleagues, in particular Nik Gisborne. 1 Lexical semantics and syntax: commercial transactions reanalyzed Abstract The paper addresses the general theoretical question of how arbitrary syntax is, and more specifically, to what extent a word’s syntactic valency may be predicted from its meaning. It argues that syntax is at least largely predictable given an analysis of meaning which pays due attention to the full cognitive structure which ‘frames’ each word’s meaning. The theoretical background includes Fillmore’s ‘frame semantics’, but the argument is based on a new analysis of the so-called ‘commercial transaction’ verbs BUY, SELL, PAY, CHARGE, SPEND and COST. In 1976, Fillmore claimed that these six verbs shares a single frame, in spite of the considerable syntactic differences among them such as their choice of prepositions and the options for passivization and omission. After re-analysis, it turns out that all of these syntactic differences can be explained as the regular syntactic pattern of a semantically coherent group of verbs to which the verb in question belongs. The methodological point of the paper is that semantic analysis should be guided by syntactic details as well as by careful structural analysis of the meaning. The main theoretical point is that the analysis requires a very flexible network analysis in which relations, both semantic and syntactic, can be created freely, rather than one which assumes a small and fixed universal set of relations; a subsidiary point is the benefit of being able to assume multiple default inheritance.
    [Show full text]
  • Sets and Randolph Diagrams. INSTITUTION Western Kentucky Univ., Bowling Green
    DOCUMENT RESUME ED 045 458 SF 010 613 AUTHOR Barksdale, James B., Jr. TITLE Sets and Randolph Diagrams. INSTITUTION Western Kentucky Univ., Bowling Green. PUB DATE Dec 70 NOTE 19p.; Paper presented at the Louisville Regional Convention of the National Council of Teachers of Mathematics (Louisville, Kentucky, October, 1970) EDRS PRICE EDRS Price MF-$0.25 HC Not Available from EDRS. DESCRIPTORS Curriculum Enrichment, Mathematical Concepts, *Mathematical Logic, *Mathematics, Mathematics Education, Modern Mathematics, *Set Theory ABSTRACT The author describes tho concept of Randolph diagrams (R-diagrams) which is a scheme for simplifying set-theoretic and/or logical expressions. Several applications of R-diagrams are presented. (Not available in hardcopy due to marginal legibility of original document.] (FL) SETS AND RANDOLPH DIAGRAMS LTD DEPART MINT OP NIALTIL EDUCATION WELFARE Of fiA Of EDUCATION TICS DOCUT TENT HAS BEEN REPRODUCED EXACTLY AS RECEIVED FROM THE PERSON OR ORGAMEATlaN ORIGINATING IT POINTS Of VIEW OR OPINIONS STATED CNOT N KES WILY REPRESENT OFFICIAL Off ICI Of 10 Le CATIONPosmortOR POLICY by James B. Barksdale, Jr. Submitted:December18, 1970 Western Kentucky University Fall 1970 1 Abstract In this exposition the author discusses the notion and r application of Randolph diagrams (R-diagrams). The notions discussed here first became known to the author when Professor Randolph delivered a lecture during the summer of 1965 at the University of Arkansas. The concept of R-diagrams provides a rather clever and simple scheme for simplifying set-theoretic and/or logical expressions. Other applications in this general regard are easily conceived.The reader will find some of these applications illustrated in this presentation.
    [Show full text]
  • University Microfilms, Inc., Ann Arbor, Michigan
    This dissertation has been 69 15 951 microfilmed exactly as received ' RANDOLPH, Harland LeRoy, 1929- THE COûî&îüNîCATîON ECOLOGY OF CONFLICT TRANSFORMATION AND SOCIAL CHANGE. The Ohio State University, Ph.D., 1969 Speech University Microfilms, Inc., Ann Arbor, Michigan ^ HARLAND LeROY RANDOLPH 1969 © _ ------------------------------------------------ ALL RIGHTS RESERVED THE COMMUNICATION ECOLOGY OF CONFLICT TRANSFORMATION AND SOCIAL CHANGE DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By Harland Randolph, B.A., M.A. ****** The Ohio State University 1969 Approved by Adviser Department of Speech ACKNOWLEDGEMENTS The author wishes to thank Mrs. Christina Randolph, Dr. Paul A. Carmack and P ro f. F ranklin H. Knower fo r th e ir assistance and encouragement. i i VITA 1954 B.S. Education, The Ohio State University, Columbus, Ohio 1935-1957 Troop Information Officer, United States Air Force 1958-1960 Graduate Assistant and Instructor Department of Speech, The Ohio State University M.A., Speech, The Ohio State University 1960-1963 Director of Communication and Program Development, Board for Fundamental Education, Indianapolis, Indiana 1963-1965 President, Randolph and Associates, Chicago, Illinois 1965 C oordinator, Communication S k ills D ivision Job Corps Center, Southern Illinois University, Carbondale, Illinois 1965-1966 Assistant to Vice President and General Manager, Melpar, Inc., Washington Air Brake Corporation, Washington, D.C. 1966-1967 Deputy Director, Office of Equal Health Opportunity, Public Health Seirvice, Department of Health, Education, and Welfare, Washington, D.C. 1967 - Vice P resid en t, Planning and Development, Federal City College, Washington, D.C.
    [Show full text]
  • Language, Proof and Logic
    LANGUAGE, PROOF AND LOGIC LANGUAGE, PROOF AND LOGIC JON BARWISE & JOHN ETCHEMENDY In collaboration with Gerard Allwein Dave Barker-Plummer Albert Liu Copyright c 1999, 2000, 2002, 2003, 2007, 2008 CSLI Publications Center for the Study of Language and Information Leland Stanford Junior University Printed in the United States 12 11 10 09 08 14 13 12 11 10 Library of Congress Cataloging-in-Publication Data Barwise, Jon. Language, proof and logic / Jon Barwise and John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. p. cm. ISBN-13: 978-1-57586-374-0 (pbk. : alk. paper) ISBN-10: 1-57586-374-X (pbk. : alk. paper) 1. Logic. I. Etchemendy, John, 1952– II. Allwein, Gerard, 1956– III. Barker-Plummer, Dave. IV. Liu, Albert, 1966– V. Title. BC61.B38 1999 160—dc21 99-041113 ∞ The acid-free paper used in this book meets the minimum requirements of the American National Standard for Information Sciences—Permanence of Paper for Printed Library Materials, ANSI Z39.48-1984. Acknowledgements Our primary debt of gratitude goes to our three main collaborators on this project: Gerry Allwein, Dave Barker-Plummer, and Albert Liu. They have worked with us in designing the entire package, developing and implementing the software, and teaching from and refining the text. Without their intelli- gence, dedication, and hard work, LPL would neither exist nor have most of its other good properties. In addition to the five of us, many people have contributed directly and in- directly to the creation of the package. First, over two dozen programmers have worked on predecessors of the software included with the package, both earlier versions of Tarski’s World and the program Hyperproof, some of whose code has been incorporated into Fitch.
    [Show full text]