Skip to main content
SpringerLink
Log in

Mathematical Logic and Its Applications

  • Book
  • © 1987

Overview

Editors:
  1. Dimiter G. Skordev

    1. Sofia University, Sofia, Bulgaria
      Sector of Mathematical Logic, Faculty of Math. & Mech., Sofia, Bulgaria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 chapters)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Gödel Session

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Remarks Concerning Kurt Gödel’s Life and Work

      • Curt C. Christian
      Pages 3-7

    3. Facets of Incompleteness

      • John W. Dawson Jr.
      Pages 9-21

    4. Godel’s Life and Work

      • P. P. Petkov
      Pages 23-36

  3. Summer School

    1. Front Matter

      Pages 37-37
      Download chapter PDF

    2. Categorial Grammar and Lambda Calculus

      • Johan van Benthem
      Pages 39-60

    3. A Constructive Morse Theory of Sets

      • Douglas S. Bridges
      Pages 61-79

    4. Differentiation of Constructive Functions of a Real Variable and Relative Computability

      • Osvald Demuth, Pavel Filipec
      Pages 81-106

    5. A Completeness Theorem for Higher-Order Intuitionistic Logic: An Intuitionistic Proof

      • A. G. Dragalin
      Pages 107-124

    6. Reasoning in Trees

      • Herman Ruge Jervell
      Pages 125-135

    7. Non-Deterministic Program Schemata and Their Relation to Dynamic Logic

      • V. A. Nepomniaschy, N. V. Shilov
      Pages 137-147

    8. The Parallel Evaluation of Functional Programs

      • Alberto Pettorossi, Andrzej Skowron
      Pages 149-165

    9. Logic Approximating Sequences of Sets

      • Helena Rasiowa
      Pages 167-186

    10. Intuitionistic Formal Spaces — A First Communication

      • Giovanni Sambin
      Pages 187-204

    11. On the Logic of Small Changes in Theories II

      • Krister Segerberg
      Pages 205-211

    12. On ‘Logical Relations’ in Program Semantics

      • Boris A. Trakhtenbrot
      Pages 213-229
Back to top

Keywords

Editors and Affiliations

  • Sofia University, Sofia, Bulgaria

    Dimiter G. Skordev

  • Sector of Mathematical Logic, Faculty of Math. & Mech., Sofia, Bulgaria

    Dimiter G. Skordev

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation