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

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Keywords

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

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