1,643 research outputs found

    15. Dezember - Lettre à Monsieur Jacques-Bernardin-Henri de Saint-Pierre, au Fort Pitt, le 2 novembre 1791

    No full text
    von Isabelle Deflers, München Lettre à Monsieur Jacques-Bernardin-Henri de Saint-Pierre, au Fort Pitt, le 2 novembre 1791 », in : Lettres écrites des rives de l’Ohio, par Claude-François-Adrien de Lezay-Marnézia, Citoyen de Pennsylvanie, Paris 1792. « Rassemblez, Monsieur, les débris de l’Europe, qui n’est plus ; enrichissez en l’Amérique, qui n’est pas encore, & qui ne sera peut-être jamais, si cette grande occasion lui échappe ; venez, Monsieur, être le chef d’un bon peuple, acquérir des d..

    Cut-elimination, substitution and normalisation

    No full text
    Date of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term calculus, and with a particular strongly normalising and confluent system of cut-reduction rules, every reduction step has, as its natural deduction translation, a sequence of zero or more reduction steps (detour reductions, permutation reductions or simplifications). This complements and (we believe) clarifies earlier work by (e.g.) Zucker and Pottinger on a question raised in 1971 by Kreisel.Peer reviewe

    I remember teaching English at Seabrook

    No full text
    In this "I remember" memoir, Isabell Waugh, a former teacher at Seabrook, compares and constrasts the different groups of students she taught. She remembers that native-born American teenagers tended to be more concerned with athletics and social activities, than academic matters. In comparison, Estonian and Japanese parents did not tolerate low academic performance, so students from the two groups often competed intensely with each other for academic achievement and recognition. Isabelle recalls that the Estonians were, in general, more sophisticated and better educated. Most of the children knew 3-5 languages, and were more advanced in math and science. She sensed that some Estonian parents felt that their homes at Seabrook were temporary, and that they would be returning to Estonia at some point. The Seabrook Educational and Cultural Center has been soliciting current and past residents of Seabrook Farms for an "I remember" project. Residents are asked to create narratives regarding their experiences at Seabrook Farms. These memories help preserve the history and multi-cultural heritage of Seabrook Farms

    Diderot und die Macht/Diderot et le pouvoir

    No full text

    Isabelle Bell to Susan Niemcewicz, December 23, 1800

    No full text
    Isabelle Bell wrote to Susan U. Niemcewicz in Elizabethtown, New Jersey. Bell expressed her disappointment in not receiving a line from Susan. She sent Bell Lucretia Rephans subscription epistle, but Susan refrained from writing a letter to her. Bell did not execute any of Susan’s commissions in New York because her time there was short. Miss Resham heard that Mr. B Livingston told his sister, Mrs. J. Livingston that he would offer Bell a salary to live in his house and take charge of his children’s education. Asked if Susan what she thought of her being an author and if Susan would subscribe to a small volume that may have the good fortune to rival the poems of the immortal Scarron.https://digitalcommons.kean.edu/lhc_1800s/1143/thumbnail.jp
    corecore