polski   English  
 

dLibra Digital Library

polski   English  

Metadata languages

Similar to edition
A formalization of a logic without tautologies
Found : 27
View:
1. 

Several remarks about three-valued Kleene's propositional logic, without tautologies

Find similar objects  |  Add to bibliography

2. 

Certain classes of elimination operators

Find similar objects  |  Add to bibliography

3. 

Remarks on geometrical seqences of higher degrees

Find similar objects  |  Add to bibliography

4. 

The completeness theorem for logic of authentication

Find similar objects  |  Add to bibliography

5. 

Czasopisma Naukowe

Find similar objects  |  Add to bibliography

6. 

Monitoring on Student's Mathematical Attainment in Czech Republic

Find similar objects  |  Add to bibliography

7. 

Mathematical Machiavellianism

Find similar objects  |  Add to bibliography

8. 

Algorithms for sharing a password

Find similar objects  |  Add to bibliography

9. 

The notion of cube in the theory of squares

Find similar objects  |  Add to bibliography

10. 

A note on some class of locally Boolean algebras

Find similar objects  |  Add to bibliography

11. 

Fast automatic deduction

Find similar objects  |  Add to bibliography

12. 

How to penetrate into mathematics actively

Find similar objects  |  Add to bibliography

13. 

The phenomena of the infi-calculus in elementary mathematics

Find similar objects  |  Add to bibliography

14. 

The mathematics around the golden ratio

Find similar objects  |  Add to bibliography

15. 

Calculus infinitesimalis

Find similar objects  |  Add to bibliography