Volume 33, Issue 4 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 33, Issue 4

August 1994

Filter by

Volume:

Sort by

Date published:

New to old Old to new

5 articles in this issue

Interpreting higher computations as types with totality
L. Kristiansen
D. Normann
OriginalPaper Pages: 243 - 259
A note on ordinal numbers and rings of formal power series
Kostas Hatzikiriakou
BriefCommunication Pages: 261 - 263
The prime number theorem and fragments ofP A
C. Cornaros
C. Dimitracopoulos
OriginalPaper Pages: 265 - 281
Binary models generated by their tally part
Fernando Ferreira
OriginalPaper Pages: 283 - 289
Interpolation property for bicartesian closed categories
Djordje Čubrić
OriginalPaper Pages: 291 - 319