Geodesic

Volume _N_S_69 (2001) no. 83

Sommaire

Completeness Theorem for a First Order Linear-time Logic
p. 1
A Logic of Approximate Reasoning
p. 8
n - Infinite Forcing via Infinite Forcing
p. 13
Comments on Ultraproducts of Forcing Systems
p. 18
Craig Interpolation Theorem for Classical Propositional Logic with some Probability Operators
p. 27
On Degree Sequences of Graphs with Given Cyclomatic Number
p. 34
More Examples and Counterexamples for a Conjecture of Merrifield and Simmons
p. 41
On Commuting Generalized Inverses of Matrices and in Associative Rings
p. 51
On Uniform Convergence of Spectral Expansions Arising by Self-adjoint Extensions of an One-dimensional SchrÖdinger Operator
p. 59
On a Theorem of M. Vuilleumier
p. 78
Best lambda-Approximation for Entire Functions of Finite Order
p. 83
Subclasses of K-uniformly Convex and Starlike Functions Defined by Generalized Derivative, II
p. 91
Taylor Series of the Natural Powers of the Pick Function and Applications
p. 101
Univalent Harmonic Mappings Between Jordan Domains
p. 108
Homotopy Colimit of Quasi-join Diagrams
p. 113