![book Truth, Syntax and Modality](/covers/files_170/1145000/60390c2dc46c0f47d9c923b26ef2224b-d.jpg)
- Author: Hugues Leblanc (Eds.)
- Language: English
- Year: 1973
![book Word Problems: Decision Problems and the Burnside Problem in Group Theory](/covers/files_170/1145000/0ea41520e7a71eb5a559c17f8e54eecb-d.jpg)
- Author: W.W. Boone F.B. Cannonito and R.C. Lyndon (Eds.)
- Language: English
- Year: 1973
![book Logic in Algebraic Form: Three Languages and Theories](/covers/files_170/1145000/90e3474f81cb58304ea75e723c8df28b-d.jpg)
- Author: William Craig (Eds.)
- Language: English
- Year: 1974
![book Model Theory](/covers/files_170/1145000/85cfd84651eb491d96c5da7386c07957-d.jpg)
Model Theory
pdf
- Author: C.C. Chang and H.J. Keisler (Eds.)
- Language: English
- Year: 1990
![book Elementary Induction on Abstract Structures](/covers/files_170/1145000/2f5933ad1e5e8693cd53158c6f799f6c-d.jpg)
- Author: Yiannis N. Moschovakis (Eds.)
- Language: English
- Year: 1974
![book Generalized Recursion Theory: Proceedings of the 1972 Oslo Symposium](/covers/files_170/1145000/44f0f7d36100ec2f9992b6b67a3f1876-d.jpg)
- Author: J.E. Fenstad and P.G. Hinman (Eds.)
- Language: English
- Year: 1974
![book Logic Colloquium '73, Proceedings of the Logic Colloquium](/covers/files_170/1145000/e020ed83b6125fcb2c5acf94882bb574-d.gif)
- Author: H.E. Rose and J.C. Shepherdson (Eds.)
- Language: English
- Year: 1975
![book Proof Theory](/covers/files_170/1145000/e3d99255037d462f7cb3187c3bbbd579-d.jpg)
Proof Theory
pdf
- Author: Gaisi Takeuti
- Language: English
- Year: 1975
![book Proceedings of the Third Scandinavian Logic Symposium](/covers/files_170/1145000/f01819863f068c2d8af12ccfda41ad9a-d.gif)
- Author: Stig Kanger (Eds.)
- Language: English
- Year: 1975