Konrad Schultz

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

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

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


  Loading...