Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-2
|
Results: 2
FROM BASIC LOGIC TO QUANTUM LOGIC WITH CUT-ELIMINATION
Authors:
FAGGIAN C SAMBIN G
Citation:
C. Faggian et G. Sambin, FROM BASIC LOGIC TO QUANTUM LOGIC WITH CUT-ELIMINATION, International journal of theoretical physics, 37(1), 1998, pp. 31-37
PRETOPOLOGIES AND COMPLETENESS PROOFS
Authors:
SAMBIN G
Citation:
G. Sambin, PRETOPOLOGIES AND COMPLETENESS PROOFS, The Journal of symbolic logic, 60(3), 1995, pp. 861-878
Risultati:
1-2
|