Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Literatur
Mints, G. E.: Skolem's method of elimination of positive quantifiers in sequential calculi, Dokl. Akad. Nauk SSSR, 861–864, Bd 169, 1966. *** DIRECT SUPPORT *** A00J4136 00006
Editor information
Additional information
Herrn Professor Dr. Kurt Schütte zum 65. Geburtstag gewidmet
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Osswald, H. (1975). Über Skolemerweiterungen in der Intuitionistichen Logik mit Gleichheit. In: Diller, J., Müller, G.H. (eds) ⊨ISILC Proof Theory Symposion. Lecture Notes in Mathematics, vol 500. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0079556
Download citation
DOI: https://doi.org/10.1007/BFb0079556
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07533-2
Online ISBN: 978-3-540-38020-7
eBook Packages: Springer Book Archive