polski   English  
 

dLibra Digital Library

polski   English  

Metadata languages

Similar to edition
Trisequential version of the Bocvar and Hallden logics
Found : 16
View:
1. 

Trisequential propositional calculus

Find similar objects  |  Add to bibliography

2. 

Czasopisma Naukowe

Find similar objects  |  Add to bibliography

3. 

Operacja konsekwencji w trójsekwencyjnym rachunku predykatów Łukasiewicza

Find similar objects  |  Add to bibliography

4. 

Wstęp

Find similar objects  |  Add to bibliography

5. 

On medical BCI-algebras

Find similar objects  |  Add to bibliography

6. 

Principle of triple entry in the theory of accounting

Find similar objects  |  Add to bibliography

7. 

The problem of distribution of goods

Find similar objects  |  Add to bibliography

8. 

The problem of distribution of indivisible goods

Find similar objects  |  Add to bibliography

9. 

Autometers

Find similar objects  |  Add to bibliography

10. 

On para-associative BCI-algebras

Find similar objects  |  Add to bibliography

11. 

The block tableaux method in finitely many-valued logics

Find similar objects  |  Add to bibliography

12. 

A method of axiomatic rejection of formulas in propositional logics

Find similar objects  |  Add to bibliography

13. 

A survay of foundational Gentzen's systems for finitely-valued logics

Find similar objects  |  Add to bibliography

14. 

Wielosekwentowy rachunek predykatów pierwszego rzędu

Find similar objects  |  Add to bibliography

15. 

Res Academicae

Find similar objects  |  Add to bibliography