Witold A. Pogorzelski and Jerzy Słupecki. Dowód pelności klasycznego rachunku zdań na gruncie aksjomatycznej metodologii (A proof of the completeness of the classical propositional calculus on the ground of an axiomatic methodology). Matematyka, fizyka, astronomia, III, Acta Universitatis Wratislaviensis, no. 12, Państwowe Wydawnictwo Naukowe, Warsaw and Breslau1962, pp. 11–18
| Autor: | W. Bednarowski |
|---|---|
| Rok vydání: | 1968 |
| Předmět: | |
| Zdroj: | Journal of Symbolic Logic. 32:536-537 |
| ISSN: | 1943-5886 0022-4812 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|