Fitting, Melvin A symmetric approach to axiomatizing quantifiers and modalities. (English) Zbl 1420.03036 Synthese 60, 5-20 (1984). MSC: 03B45 03B10 PDFBibTeX XMLCite \textit{M. Fitting}, Synthese 60, 5--20 (1984; Zbl 1420.03036) Full Text: DOI
Iglesias, Teresa Russell’s theory of knowledge and Wittgenstein’s earliest writings. (English) Zbl 0552.01007 Synthese 60, 285-332 (1984). Reviewer: I.Grattan-Guinness MSC: 01A60 00A30 03-03 PDFBibTeX XMLCite \textit{T. Iglesias}, Synthese 60, 285--332 (1984; Zbl 0552.01007) Full Text: DOI
Irvine, William B. Russell’s construction of space from perspectives. (English) Zbl 0547.01014 Synthese 60, 333-347 (1984). Reviewer: I.Grattan-Guinness MSC: 01A55 03-03 PDFBibTeX XMLCite \textit{W. B. Irvine}, Synthese 60, 333--347 (1984; Zbl 0547.01014) Full Text: DOI
Sieg, Wilfried Foundations for analysis and proof theory. (English) Zbl 0547.01013 Synthese 60, 159-200 (1984). Reviewer: I.Grattan-Guinness MSC: 01A55 01A50 26-03 03F99 PDFBibTeX XMLCite \textit{W. Sieg}, Synthese 60, 159--200 (1984; Zbl 0547.01013) Full Text: DOI
Goodman, Nicolas D. The knowing mathematician. (English) Zbl 0543.01006 Synthese 60, 21-38 (1984). Reviewer: R.Fischer MSC: 01A65 00A30 PDFBibTeX XMLCite \textit{N. D. Goodman}, Synthese 60, 21--38 (1984; Zbl 0543.01006) Full Text: DOI
Diller, J.; Troelstra, A. S. Realizability and intuitionistic logic. (English) Zbl 0537.03043 Synthese 60, 253-282 (1984). MSC: 03F65 03F50 03B15 03F25 PDFBibTeX XMLCite \textit{J. Diller} and \textit{A. S. Troelstra}, Synthese 60, 253--282 (1984; Zbl 0537.03043) Full Text: DOI