1
by Crossley, J.N., Nerode, A.
Published 1974
Springer Berlin Heidelberg
Table of Contents: ... Functors -- 3. Combinatorial Functors -- II. Model Theory -- 4. Countable Atomic Models -- 5. Copying -- 6...

2
by Smullyan, Raymond R.
Published 1968
Springer Berlin Heidelberg
Table of Contents: ... Tableaux -- III. Compactness -- II. First-Order Logic -- IV. First-Order Logic. Preliminaries -- V. First...

3
by Sikorski, Roman
Published 1969
Springer Berlin Heidelberg
Table of Contents: ...I. Finite joins and meets -- § 1. Definition of Boolean algebras -- § 2. Some consequences...

4
by Beeson, M.J.
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... -- II. Informal Foundations of Constructive Mathematics -- III. Some Different Philosophies...

5
by Brouwer, Andries E., Cohen, Arjeh M., Neumaier, Arnold
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... graphs -- Amply regular root graphs in E8 -- Amply regular root graphs with ? = 2 -- 4. THEORY...