No CrossRef data available.
Article contents
N. N. Vorob'év. Konstruktivnoé isčislénié vyskazyvanij s sil'nym otricaniém (A constructive propositional calculus with strong negation). Doklady Akadémii Nauk SSSR, vol. 85 (1952), pp. 465–468.
Review products
Published online by Cambridge University Press: 12 March 2014
Abstract

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