Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
PEANO ARITHMETIC AS AXIOMATIZATION OF THE TIME FRAME IN LOGICS OF PROGRAMS AND IN DYNAMIC LOGICS
Authors:
BIRO B SAIN I
Citation:
B. Biro et I. Sain, PEANO ARITHMETIC AS AXIOMATIZATION OF THE TIME FRAME IN LOGICS OF PROGRAMS AND IN DYNAMIC LOGICS, Annals of pure and applied Logic, 63(3), 1993, pp. 201-225
Risultati:
1-1
|