Sommaire

Preface

Van Dalen, D. ; Dijkman, J. G. ; Kleene, S. C. ; Troelstra, A. S.

Access to full text
Full (PDF)
Full (DJVU)
p. 1

Numdam
On some non-archimedean normed linear spaces. I

Robert, Pierre

Access to full text
Full (PDF)
Full (DJVU)
p. 1-15

Numdam
Über eine Verallgemeinerung der Schouten-Haantjesschen Räume

Moór, Arthur

Access to full text
Full (PDF)
Full (DJVU)
p. 83-94

Numdam
On a generalization of the Laplace transform

Rangachari, M. S.

Access to full text
Full (PDF)
Full (DJVU)
p. 167-195

Numdam
A note on entire functions of infinite order

Ahmad, Mansoor

Access to full text
Full (PDF)
Full (DJVU)
p. 259-270

Numdam
The scientific work of A. Heyting

Troelstra, A. S.

Access to full text
Full (PDF)
Full (DJVU)
p. 3-12

Numdam
On some non-archimedean normed linear spaces. II

Robert, Pierre

Access to full text
Full (PDF)
Full (DJVU)
p. 16-27

Numdam
Perfect systems

Mahler, K.

Access to full text
Full (PDF)
Full (DJVU)
p. 95-166

Numdam
Über Favardklassen von Summationsprozessen mehrdimensionaler Fourierreihen

Nessel, R. J. ; Pawelke, A.

Access to full text
Full (PDF)
Full (DJVU)
p. 196-212

Numdam
On the geometric means of an integral function

Kumar, Kuldip

Access to full text
Full (PDF)
Full (DJVU)
p. 271-277

Numdam
The equivalence of two definitions of elementary formal system

Curry, Haskell B.

Access to full text
Full (PDF)
Full (DJVU)
p. 13-20

Numdam
On some non-archimedean normed linear spaces. III

Robert, Pierre

Access to full text
Full (PDF)
Full (DJVU)
p. 28-43

Numdam
Unitary groups in projective octave planes

Veldkamp, F. D.

Access to full text
Full (PDF)
Full (DJVU)
p. 213-258

Numdam
On distribution of arithmetical functions on the set prime plus one

Kátai, I.

Access to full text
Full (PDF)
Full (DJVU)
p. 278-289

Numdam
A note on spread-cardinals

Van Dalen, Dirk

Access to full text
Full (PDF)
Full (DJVU)
p. 21-28

Numdam
On some non-archimedean normed linear spaces. IV

Robert, Pierre

Access to full text
Full (PDF)
Full (DJVU)
p. 44-60

Numdam
The coarseness of a graph

Beineke, Lowell W. ; Chartrand, Gary

Access to full text
Full (PDF)
Full (DJVU)
p. 290-298

Numdam
Persistent and invariant formulas for outer extensions

Feferman, Solomon

Access to full text
Full (PDF)
Full (DJVU)
p. 29-52

Numdam
On some non-archimedean normed linear spaces. V

Robert, Pierre

Access to full text
Full (PDF)
Full (DJVU)
p. 61-70

Numdam
Laws of large numbers for functions of random walks with positive drift

Stam, A. J.

Access to full text
Full (PDF)
Full (DJVU)
p. 299-333

Numdam
Attributes, sets, partial sets and identity

Gilmore, P. C.

Access to full text
Full (PDF)
Full (DJVU)
p. 53-69

Numdam
On some non-archimedean normed linear spaces. VI

Robert, Pierre

Access to full text
Full (PDF)
Full (DJVU)
p. 71-77

Numdam
On the mean values of integral functions and their derivatives represented by Dirichlet series

Srivastava, Satya Narain

Access to full text
Full (PDF)
Full (DJVU)
p. 334-340

Numdam
Existence in mathematics

Goodstein, R. L.

Access to full text
Full (PDF)
Full (DJVU)
p. 70-82

Numdam
On a class of star-like functions

Singh, Ram

Access to full text
Full (PDF)
Full (DJVU)
p. 78-82

Numdam
Errata : “Lawless sequences of natural numbers”

Kreisel, G.

Access to full text
Full (PDF)
Full (DJVU)
p. 341

Numdam
Assertions depending on time and corresponding logical calculi

Grzegorczyk, Andrzej

Access to full text
Full (PDF)
Full (DJVU)
p. 83-87

Numdam
Relativization with respect to formulas and its use in proofs of independence

Henkin, Leon

Access to full text
Full (PDF)
Full (DJVU)
p. 88-106

Numdam
Functional interpretation of bar induction by bar recursion

Howard, W. A.

Access to full text
Full (PDF)
Full (DJVU)
p. 107-124

Numdam
Almost direct products and saturation

Jónsson, Bjàrni ; Olin, Philip

Access to full text
Full (PDF)
Full (DJVU)
p. 125-132

Numdam
Constructive mathematics as a philosophical problem

Lorenzen, P.

Access to full text
Full (PDF)
Full (DJVU)
p. 133-142

Numdam
Quantifier-free axioms for constructive plane geometry

Moler, Nancy ; Suppes, Patrick

Access to full text
Full (PDF)
Full (DJVU)
p. 143-152

Numdam
Binary generators for the m-valued and ℵ 0 -valued Lukasiewicz propositional calculi

Rose, Alan

Access to full text
Full (PDF)
Full (DJVU)
p. 153-169

Numdam
Axiomatisation indépendante des ensembles dénombrables de formules en logique intuitionniste

Reznikoff, Iégor

Access to full text
Full (PDF)
Full (DJVU)
p. 170-187

Numdam
Some thoughts on the history of mathematics

Robinson, Abraham

Access to full text
Full (PDF)
Full (DJVU)
p. 188-193

Numdam
Extending the topological interpretation to intuitionistic analysis

Scott, Dana

Access to full text
Full (PDF)
Full (DJVU)
p. 194-210

Numdam
New sets of postulates for intuitionistic topology

Troelstra, A. S.

Access to full text
Full (PDF)
Full (DJVU)
p. 211-221

Numdam
Lawless sequences of natural numbers

Kreisel, G.

Access to full text
Full (PDF)
Full (DJVU)
p. 222-248

Numdam