Printed from https://ideas.repec.org/b/spr/sprbok/978-1-4613-0609-2.html
My bibliography
Save this book
Mathematical Logic
Editor
- Petio Petrov Petkov(Sofia University)
Abstract
Individual chapters are listed in the "Chapters" tab
Suggested Citation
DOI: 10.1007/978-1-4613-0609-2
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- A. S. Troelstra, 1990. "On the Early History of Intuitionistic Logic," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 3-17, Springer.
- D. van Dalen, 1990. "Heyting and Intuitionistic Geometry," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 19-27, Springer.
- Dick de Jongh & Frank Veltman, 1990. "Provability Logics for Relative Interpretability," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 31-42, Springer.
- Susumu Hayashi, 1990. "Constructive Mathematics and Computer-Assisted Reasoning Systems," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 43-52, Springer.
- Boris Kushner, 1990. "Markov’s Constructive Mathematical Analysis: The Expectations and the Results," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 53-58, Springer.
- Grigorii Mints, 1990. "Normalization Theorems for the Intuitionistic Systems with Choice Principles," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 59-66, Springer.
- Dag Normann, 1990. "Formalizing the Notion of Total Information," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 67-94, Springer.
- Hiroakira Ono, 1990. "Structural Rules and a Logical Hierarchy," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 95-104, Springer.
- Valentin Shehtman & Dmitrij Skvortsov, 1990. "Semantics of Non-Classical First Order Predicate Logics," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 105-116, Springer.
- Ivan N. Soskov, 1990. "On the Computational Power of the Logic Programs," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 117-137, Springer.
- Gaisi Takeuti, 1990. "Some Relations among Systems for Bounded Arithmetic," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 139-154, Springer.
- Wim Veldman, 1990. "A Survey of Intuitionistic Descriptive Set Theory," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 155-174, Springer.
- Albert Visser, 1990. "Interpretability Logic," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 175-209, Springer.
- S. S. Wainer, 1990. "Hierarchies of Provably Computable Functions," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 211-220, Springer.
- V. Michele Abrusci, 1990. "Sequent Calculus for Intuitionistic Linear Propositional Logic," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 223-242, Springer.
- Douglas S. Bridges, 1990. "Order Isomorphisms – A Constructive Measure-Theoretic View," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 243-255, Springer.
- C. S. Copestake, 1990. "1-Generic Enumeration Degrees Below O e ’," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 257-265, Springer.
- O. Demuth, 1990. "Pemarks on Denjoy Sets," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 267-280, Springer.
- Kosta Došen, 1990. "Normal Modal Logics in Which the Heyting Propositional Calculus can be Embedded," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 281-291, Springer.
- Wojciech Dzik, 1990. "Lattices Adequate for Intuitionistic Predicate Logic," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 293-297, Springer.
- George Gargov & Solomon Passy, 1990. "A Note on Boolean Modal Logic," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 299-309, Springer.
- Valentin Goranko, 1990. "Completeness and Incompleteness in the Bimodal Base ℒ(R,−R)," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 311-326, Springer.
- Wojciech Penczek, 1990. "A Temporal Logic for Event Structures," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 327-338, Springer.
- Jurate Sakalauskaite & Mars K. Valiev, 1990. "Completeness of Propositional Dynamic Logic with Infinite Repeating," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 339-349, Springer.
- V. Yu. Sazonov, 1990. "An Equivalence between Polynomial Constructivity of Markov’s Principle and the Equality P=NP," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 351-360, Springer.
- Alexandra A. Soskova & Ivan N. Soskov, 1990. "Effective Enumerations of Abstract Structures," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 361-372, Springer.
- Dimiter Vakarelov, 1990. "Modal Characterization of the Classes of Finite and Infinite Quasi-Ordered Sets," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 373-387, Springer.
- J. Zashev, 1990. "Least Fixed Points in Preassociative Combinatory Algebras," Springer Books, in: Petio Petrov Petkov (ed.), Mathematical Logic, pages 389-397, 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-0609-2. 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.