researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Math. Log. Q.
Home
Index
Info
Issue
Volume
27
, Issue
31-35
481
--
488
Sauro Tulipani
.
Model-Completions of Theories of Finitely Additive Measures with Values in An Ordered Field
489
--
494
F. W. Gorgy
,
A. H. Sahyoun
.
Mutual Transformability of The Formulas of The Basic Languages of Constructive Mathematical Logic
495
--
529
Robert Ian Goldblatt
.
Grothendieck Topology as Geometric Modality
531
--
538
Luiz Paulo de Alcantara
,
Walter Alexandre Carnielli
.
Transfinite Induction on Ordinal Configurations
539
--
548
Steven Homer
,
Barry E. Jacobs
.
Degrees of Non α-Speedable Sets
549
--
555
John R. Cowles
.
The Henkin Quantifier and Real Closed Fields
557
--
560
Stephen D. Comer
.
The Decision Problem for Certain Nilpotent Closed Varieties