This document is unfortunately not available for download at the moment.
Dimiter G. Skordev
Mathematical logic and its applications
Dimiter G. Skordev
3-7
Remarks concerning Kurt Gödel's life and work
Christian Curt C.
9-21
Facets of incompleteness
Dawson John
23-36
Godel's life and work
Petkov P. P.
39-60
Categorial grammar and lambda calculus
van Benthem Johan
61-79
A constructive morse theory of sets
Bridges Douglas
81-106
Differentiation of constructive functions of a real variable and relative computability
Demuth Osvald; Filipec Pavel
107-124
125-135
Reasoning in trees
Ruge Jervell Herman
137-147
Non-deterministic program schemata and their relation to dynamic logic
Nepomniaschy V. A.; Shilov N. V.
149-165
The parallel evaluation of functional programs
Pettorossi Alberto; Skowron Andrzej
167-186
Logic approximating sequences of sets
Rasiowa Helena
187-204
Intuitionistic formal spaces — a first communication
Sambin Giovanni
205-211
On the logic of small changes in theories II
Segerberg Krister
213-229
On "logical relations" in program semantics
Trakhtenbrot Boris A.
233-242
Search computability and computability with numberings are equivalent in the case of finite set of objects
Ditchev Angel V.
243-251
Cut-elimination theorem for higher-order classical logic
Dragalin A. G.
253-263
Modal environment for boolean speculations
Gargov George; Passy Solomon; Tinchev Tinko
265-272
Distributive spaces
Ivanov Ljubomir L.
273-282
Approximating the projective model
Kranakis Evangelos
283-292
Projection complete graph problems corresponding to a Branching-program-based characterization of the complexity classes nc1 ,land nl
Meinel Christoph
293-302
Constructive theories with abstract data types for program synthesis
Miglioli Pierangelo; Moscato Ugo; Ornaghi Mario
303-314
A first order logic for logic programming
Moreno Navarro J J; Rodriguez Artalejo M
315-322
The relational semantics for branched quantifiers
Mostowski Marcin
323-329
331-340
341-350
Prime computability on partial structures
Soskov Ivan N.
351-359
Complexity bounded Martin-Löf tests
Zimand Marius
Not implemented yet !