Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Mathematical Logic and Its Applications > Approximating the Projective Model
Mathematical Logic and Its Applications |
Dimiter G. Skordev
Springer US
Mathematical Logic and Its Applications
Approximating the Projective Model
Authors

Evangelos Kranakis

ARI Id

1664915376844_4056054

Access

Not Available Free

Pages

273-282

DOI

10.1007/978-1-4613-0897-3_19

Chapter URL

https://rd.springer.com/chapter/10.1007/978-1-4613-0897-3_19

Table of Contents of Book
Showing 1 to 20 of 32 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xiv
Front Matter
1-1
Remarks Concerning Kurt Gödel’s Life and Work
Curt C. Christian
3-7
Facets of Incompleteness
John W. Dawson Jr.
9-21
Godel’s Life and Work
P. P. Petkov
23-36
Front Matter
37-37
Categorial Grammar and Lambda Calculus
Johan van Benthem
39-60
A Constructive Morse Theory of Sets
Douglas S. Bridges
61-79
Differentiation of Constructive Functions of a Real Variable and Relative Computability
Osvald Demuth; Pavel Filipec
81-106
A Completeness Theorem for Higher-Order Intuitionistic Logic: An Intuitionistic Proof
A. G. Dragalin
107-124
Reasoning in Trees
Herman Ruge Jervell
125-135
Non-Deterministic Program Schemata and Their Relation to Dynamic Logic
V. A. Nepomniaschy; N. V. Shilov
137-147
The Parallel Evaluation of Functional Programs
Alberto Pettorossi; Andrzej Skowron
149-165
Logic Approximating Sequences of Sets
Helena Rasiowa
167-186
Intuitionistic Formal Spaces — A First Communication
Giovanni Sambin
187-204
On the Logic of Small Changes in Theories II
Krister Segerberg
205-211
On ‘Logical Relations’ in Program Semantics
Boris A. Trakhtenbrot
213-229
Front Matter
231-231
Search Computability and Computability with Numberings Are Equivalent in the Case of Finite Set of Objects
Angel V. Ditchev
233-242
Cut-Elimination Theorem for Higher-Order Classical Logic: An Intuitionistic Proof
A. G. Dragalin
243-251
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 32 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings