Academia · 1959
Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls
= Zprostředkované způsoby axiomatisace systémů dvouhodnoto vého výrokového kalkulu obsahujících implikaci mezi svými primitivními funktory
verified
- Author
- Miroslav Mleziva
- Imprint
- Prague: Academia, 1959
- Series
- Rozpravy Československé akademie věd; ročník 69, sešit 12
- Language
- German
- Sources
- K10plus record 1138150061; German National Library record 453413560; K10plus record 177991852
Cite this
Chicago
Mleziva, Miroslav. Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls: = Zprostředkované způsoby axiomatisace systémů dvouhodnoto vého výrokového kalkulu obsahujících implikaci mezi svými primitivními funktory. Prague: Academia, 1959.
MLA
Mleziva, Miroslav. Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls: = Zprostředkované způsoby axiomatisace systémů dvouhodnoto vého výrokového kalkulu obsahujících implikaci mezi svými primitivními funktory. Academia, 1959.
APA
Mleziva, M. (1959). Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls: = Zprostředkované způsoby axiomatisace systémů dvouhodnoto vého výrokového kalkulu obsahujících implikaci mezi svými primitivními funktory. Academia.