No CrossRef data available.
Article contents
M.D. Krol′. The topological models of intuitionistic analysis. One counterexample. Mathematical notes, vol. 19 (1976), pp. 503–504. (English translation of K topologičéskim modélám intuicionistskogo analiza, Odin kontrprimér, Matématičéskié zamétki, vol. 19 (1976), pp. 859–862.) - M. D. Krol. A topological model for intuitionistic analysis with Kripke's scheme. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 24 (1978), pp. 427–436. - M. D. Krol′. Distinct variants of Kripke's schema in intuitionistic analysis. Soviet mathematics, vol. 19 (1978), pp. 474–477. (English translation by B. F. Wells of Različnyé varianty shémy Kripké v intuicionistskom analizé, Doklady Akadémii Nauk SSSR, vol. 239 (1978), pp. 1048–1051.)
Review products
Published online by Cambridge University Press: 12 March 2014
Abstract

- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1981