# Konrad Schultz

According to our database

Collaborative distances:

^{1}, Konrad Schultz authored at least 5 papers between 1977 and 1989.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1989

Logik-Programmierung und konstruktive Logik.

PhD thesis, 1989

1984

A Generalization of Lindenbaum's Theorem for Predicate Calculi.

Math. Log. Q., 1984

1980

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

Math. Log. Q., 1980

A Hierarchy of Models for Skala's Set Theory.

Math. Log. Q., 1980

1977

Ein Standardmodell Für Skalas Mengenlehre.

Math. Log. Q., 1977