Konrad Schultz

According to our database¹, Konrad Schultz authored at least 5 papers between 1977 and 1989.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1989

Logik-Programmierung und konstruktive Logik.

[BibT_eX]

[DOI]

PhD thesis, 1989

1984

A Generalization of Lindenbaum's Theorem for Predicate Calculi.

[BibT_eX]

[DOI]

Math. Log. Q., 1984

1980

A Topological Model for Troelstra's System CS of Intuitionistic Analysis.

[BibT_eX]

[DOI]

Math. Log. Q., 1980

A Hierarchy of Models for Skala's Set Theory.

[BibT_eX]

[DOI]

Math. Log. Q., 1980

1977

Ein Standardmodell Für Skalas Mengenlehre.

[BibT_eX]

[DOI]

Math. Log. Q., 1977