Printed from https://ideas.repec.org/b/spr/sprbok/978-1-4613-0897-3.html
Mathematical Logic and Its Applications
Editor
Listed:
- Dimiter G. Skordev(Sofia University
Faculty of Math. & Mech., Sector of Mathematical Logic)
Abstract
No abstract is available for this item.
Individual chapters are listed in the "Chapters" tab
Suggested Citation
DOI: 10.1007/978-1-4613-0897-3
Download full text from publisher
To our knowledge, this item is not available for download. To find whether it is available, there are three options:1. Check below whether another version of this item is available online.
2. Check on the provider's web page whether it is in fact available.
3. Perform a for a similarly titled item that would be available.
Book Chapters
The following chapters of this book are listed in IDEAS- Curt C. Christian, 1987. "Remarks Concerning Kurt Gödel’s Life and Work," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 3-7, Springer.
- John W. Dawson Jr., 1987. "Facets of Incompleteness," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 9-21, Springer.
- P. P. Petkov, 1987. "Godel’s Life and Work," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 23-36, Springer.
- Johan van Benthem, 1987. "Categorial Grammar and Lambda Calculus," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 39-60, Springer.
- Douglas S. Bridges, 1987. "A Constructive Morse Theory of Sets," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 61-79, Springer.
- Osvald Demuth & Pavel Filipec, 1987. "Differentiation of Constructive Functions of a Real Variable and Relative Computability," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 81-106, Springer.
- A. G. Dragalin, 1987. "A Completeness Theorem for Higher-Order Intuitionistic Logic: An Intuitionistic Proof," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 107-124, Springer.
- Herman Ruge Jervell, 1987. "Reasoning in Trees," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 125-135, Springer.
- V. A. Nepomniaschy & N. V. Shilov, 1987. "Non-Deterministic Program Schemata and Their Relation to Dynamic Logic," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 137-147, Springer.
- Alberto Pettorossi & Andrzej Skowron, 1987. "The Parallel Evaluation of Functional Programs," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 149-165, Springer.
- Helena Rasiowa, 1987. "Logic Approximating Sequences of Sets," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 167-186, Springer.
- Giovanni Sambin, 1987. "Intuitionistic Formal Spaces — A First Communication," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 187-204, Springer.
- Krister Segerberg, 1987. "On the Logic of Small Changes in Theories II," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 205-211, Springer.
- Boris A. Trakhtenbrot, 1987. "On ‘Logical Relations’ in Program Semantics," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 213-229, Springer.
- Angel V. Ditchev, 1987. "Search Computability and Computability with Numberings Are Equivalent in the Case of Finite Set of Objects," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 233-242, Springer.
- A. G. Dragalin, 1987. "Cut-Elimination Theorem for Higher-Order Classical Logic: An Intuitionistic Proof," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 243-251, Springer.
- George Gargov & Solomon Passy & Tinko Tinchev, 1987. "Modal Environment for Boolean Speculations," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 253-263, Springer.
- Ljubomir L. Ivanov, 1987. "Distributive Spaces," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 265-272, Springer.
- Evangelos Kranakis, 1987. "Approximating the Projective Model," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 273-282, Springer.
- Christoph Meinel, 1987. "Projection Complete Graph Problems Corresponding to a Branching-Program-Based Characterization of the Complexity Classes NC 1 ,Land NL," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 283-292, Springer.
- Pierangelo Miglioli & Ugo Moscato & Mario Ornaghi, 1987. "Constructive Theories with Abstract Data Types for Program Synthesis," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 293-302, Springer.
- J. J. Moreno Navarro & M. Rodriguez Artalejo, 1987. "A First Order Logic for Logic Programming," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 303-314, Springer.
- Marcin Mostowski, 1987. "The Relational Semantics for Branched Quantifiers," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 315-322, Springer.
- Assen Petkov, 1987. "Propositional Dynamic Logic in Two- and More Dimensions," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 323-329, Springer.
- Jan M. Smith, 1987. "On a Nonconstructive Type Theory and Program Derivation," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 331-340, Springer.
- Ivan N. Soskov, 1987. "Prime Computability on Partial Structures," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 341-350, Springer.
- Marius Zimand, 1987. "Complexity Bounded Martin-Löf Tests," Springer Books, in: Dimiter G. Skordev (ed.), Mathematical Logic and Its Applications, pages 351-359, Springer.
Corrections
All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:sprbok:978-1-4613-0897-3. See general information about how to correct material in RePEc.
If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.
We have no bibliographic references for this item. You can help adding them by using this form .
If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .
Please note that corrections may take a couple of weeks to filter through the various RePEc services.