Mleziva, Miroslav: Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen ..., 1959
| Název: | Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls. |
| Autor: | Miroslav Mleziva |
| Místo vydání: | Praha |
| Nakladatel: | ČSAV |
| Rok vydání: | 1959 |
| Počet stran: | 67 s. |
| Edice, série: | Rozpravy ČSAV. Roč. 69/1959, Řada společenských věd / Seš. 12 |
| Kategorie: | Matematika |
| Stav: | slušná brož včetně obálky |
17.10.2025 08:17 #1936194