Table of contents

  1. Front Matter
  2. Dimitry A. Archangelsky, Mikhail A. Taitslin
    Pages 1-8
  3. Ganesh Baliga, John Case, Sanjay Jain, Mandayam Suraj
    Pages 9-20
  4. Richard Beigel, Martin Kummer, Frank Stephan
    Pages 21-32
  5. Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama
    Pages 45-56
  6. A. Calò, J. A. Makowsky
    Pages 57-68
  7. Isabelle Attali, Jacques Chazarain, Serge Gilette
    Pages 87-104
  8. Nachum Dershowitz, Edward M. Reingold
    Pages 117-138
  9. Melvin Fitting
    Pages 139-150
  10. Didier Galmiche, Guy Perrier
    Pages 151-162
  11. B. Gamate
    Pages 163-173
  12. Lane A. Hemachandra, Sanjay Jain, Nikolai K. Vereshchagin
    Pages 186-197
  13. R. Hoofman
    Pages 209-220
  14. Andy King, Paul Soper
    Pages 221-228

About these proceedings


This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both the former Soviet Union and the West, and indicates a new era of international cooperation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, andthe Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of information on the state of computer science research in the former Soviet Union and presents important discoveries in the area of logical foundations of computer science.


Beweisatheorie Logical Foundations Logische Grundlagen Mathematical Logic Nicht-klassische Logiken Non-Classical Logics Proof Theory Type Theory Typentheorie computer computer science logic

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55707-4
  • Online ISBN 978-3-540-47276-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book