Mathematical Logic and Its Applications

Edited by Dimiter G. Skordev

in Springer Books from Springer

Date: 1987
ISBN: 978-1-4613-0897-3
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Chapters in this book:

Remarks Concerning Kurt Gödel’s Life and Work

Curt C. Christian

Facets of Incompleteness

John W. Dawson

Godel’s Life and Work

P. P. Petkov

Categorial Grammar and Lambda Calculus

Johan van Benthem

A Constructive Morse Theory of Sets

Douglas S. Bridges

Differentiation of Constructive Functions of a Real Variable and Relative Computability

Osvald Demuth and Pavel Filipec

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

A. G. Dragalin

Reasoning in Trees

Herman Ruge Jervell

Non-Deterministic Program Schemata and Their Relation to Dynamic Logic

V. A. Nepomniaschy and N. V. Shilov

The Parallel Evaluation of Functional Programs

Alberto Pettorossi and Andrzej Skowron

Logic Approximating Sequences of Sets

Helena Rasiowa

Intuitionistic Formal Spaces — A First Communication

Giovanni Sambin

On the Logic of Small Changes in Theories II

Krister Segerberg

On ‘Logical Relations’ in Program Semantics

Boris A. Trakhtenbrot

Search Computability and Computability with Numberings Are Equivalent in the Case of Finite Set of Objects

Angel V. Ditchev

Cut-Elimination Theorem for Higher-Order Classical Logic: An Intuitionistic Proof

A. G. Dragalin

Modal Environment for Boolean Speculations

George Gargov, Solomon Passy and Tinko Tinchev

Distributive Spaces

Ljubomir L. Ivanov

Approximating the Projective Model

Evangelos Kranakis

Projection Complete Graph Problems Corresponding to a Branching-Program-Based Characterization of the Complexity Classes NC 1,Land NL

Christoph Meinel

Constructive Theories with Abstract Data Types for Program Synthesis

Pierangelo Miglioli, Ugo Moscato and Mario Ornaghi

A First Order Logic for Logic Programming

J. J. Moreno Navarro and M. Rodriguez Artalejo

The Relational Semantics for Branched Quantifiers

Marcin Mostowski

Propositional Dynamic Logic in Two- and More Dimensions

Assen Petkov

On a Nonconstructive Type Theory and Program Derivation

Jan M. Smith

Prime Computability on Partial Structures

Ivan N. Soskov

Complexity Bounded Martin-Löf Tests

Marius Zimand

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprbok:978-1-4613-0897-3

Ordering information: This item can be ordered from
http://www.springer.com/9781461308973

DOI: 10.1007/978-1-4613-0897-3

Access Statistics for this book

More books in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().