Počet záznamů: 1
Computer Science Logic '94
- 1.PUDLÁK, P., BUSS, S.R. How to Lie without being (easily) convicted and the lengths of proofs in propositional calculas. Berlin: Springer, 1995. ISBN 3-540-60017-5. In: Computer Science Logic '94. , s. 151-162.
Počet záznamů: 1