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

2
by Smullyan, Raymond R.
Published 1968
Springer Berlin Heidelberg
Table of Contents: ...I. Propositional Logic from the Viewpoint of Analytic Tableaux -- I. Preliminaries -- II. Analytic...

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 Crossley, J.N., Nerode, A.
Published 1974
Springer Berlin Heidelberg
Table of Contents: ...0. Introduction -- I. Categories and Functors -- 1. Categories -- 2. Morphism Combinatorial...

5
by Brouwer, Andries E., Cohen, Arjeh M., Neumaier, Arnold
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... Strongly regular graphs as extremal graphs -- 1.5 Taylor graphs and regular two-graphs -- 1.6 Square 2...