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
  15. P. M. W. Knijnenburg, F. Nordemann
    Pages 229-240
  16. Sergey V. Kotov
    Pages 246-257
  17. Renwei Li, José Carmo
    Pages 281-292
  18. V. P. Makarov
    Pages 305-313
  19. Alberto Momigliano
    Pages 326-335
  20. John Mullins
    Pages 336-346
  21. Wolfgang Reif
    Pages 406-417
  22. Bernd-Holger Schlingloff
    Pages 441-451
  23. Dieter Spreen
    Pages 459-469
  24. W. van der Hoek, J. -J. Ch. Meyer
    Pages 503-514
  25. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site