Author:
Porte Jean,Guillaume Marcel
Reference6 articles.
1. Actualités scientifiques et industrielles;N. Bourbaki,1954
2. Gödel, K.: The consistency of the continuum hypothesis, Princeton Ann. Math. Stud. 3 (1940)
3. Harrop, R.: On the existence of finite models and decision procedures for propositional calculi. Proc. Camb. Philos. Soc. 54, 1–15 (1958)
4. Kemeny, J.G.: Models of logical systems. J. Symb. Log. 13, 16–30 (1948)
5. Kleene, S.C.: Introduction to Metamathematics, Van Nostrand, New York (1952)