Fixed-point extensions of first-order logic
Source:
Annals of Pure and Applied Logic,Volume: 32,
p.265-280
(1986)
1
Views
Information & Security: An International Journal
28,
no. 2
(2012):
248-265.
Peer-reviewed open-access journal
published since 1998 by Procon Ltd.