Recherche
4 résultat(s) · 20 ms
Recherche en cours…
Logique
Bernard Ruyer
1990
Subsystems of second order arithmetic
Stephen George Simpson
1999
Model Theory for Modal Logic
Kenneth A. Bowen
1899
The Complexity of theories of the monadic predicate calculus
The Complexity of theories of the monadic predicate calculus
Charles Rackoff
1975