Switch to: Citations

References in:

Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?

Studia Logica 47 (3):279 - 301 (1988)

Add references

You must login to add references.

Review: Laszlo Kalmar, Une Forme du Theoreme de Godel Sous des Hypotheses Minimales; Laszlo Kalmar, Quelques Formes Generales du Theoreme de Godel. [REVIEW]Leon Henkin - 1950 - Journal of Symbolic Logic 15 (3):230-230.details Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 9 citations
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Ontology of Mathematics in Philosophy of Mathematics Direct download (8 more) Export citation Bookmark 201 citations
[Omnibus Review].Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 82 citations

1