Absoluteness of intuitionistic logic

von Leivant, Daniel
Veröffentlicht 1979

Finitism, Imperative Programs and Primitive Recursion

von Leivant, Daniel
Veröffentlicht in LFCS (2020 : Deerfield Beach, Fla.) Logical Foundations of Computer Science (2020)

Implicational complexity in intuitionistic arithmetic

von Leivant, Daniel
Veröffentlicht 1980

Proof theoretic maximality of logical calculi

von Leivant, Daniel
Veröffentlicht 1980

The optimality of induction as an axiomatization of arithmetic

von Leivant, Daniel
Veröffentlicht 1980

1994 Workshop on Logic and Complexity (LCC)

Veröffentlicht 1998

Semantic characterizations of number theories

von Leivant, Daniel
Veröffentlicht 1990

Strong-normalization for arithmetic : (variations on a theme of Prawitz)

von Leivant, Daniel
Veröffentlicht 1974

Absoluteness of intuitionistic logic : preliminary report

von Leivant, Daniel
Veröffentlicht 1975

Algorithmically Broad Languages for Polynomial Time and Space

von Leivant, Daniel
Veröffentlicht in Logic, Language, Information, and Computation (2021)

Absoluteness of intuitionistic logic

von Leivant, Daniel
Veröffentlicht 1975

Strong normalization for arithmetic : variations on a theme of Prawitz

von Leivant, Daniel
Veröffentlicht 1974

1994 Workshop on Logic and Complexity (LCC)

Veröffentlicht 1998

Absoluteness of intuitionistic logic

von Leivant, Daniel
Veröffentlicht 1979

Failure of completeness properties of intuitionistic predicate logic for constructive models : preliminary report

von Leivant, Daniel
Veröffentlicht 1975

1994 Workshop on Logic and Complexity (LCC)

Monotonic use of space and computational complexity over abstract structures

von Leivant, Daniel
Veröffentlicht 1989

Finitely stratified polymorphism

von Leivant, Daniel
Veröffentlicht 1990

Absoluteness of intuitionistic logic

von Leivant, Daniel Maurice Raphaël
Veröffentlicht 1975

Absoluteness of intuitionistic logic

von Leivant, Daniel Maurice Raphaël
Veröffentlicht 1975