Higher-order logic and type theory by Bell, John L. 1945-

Get full text

The continuous, the discrete and the infinitesimal in philosophy and mathematics by Bell, John L. 1945-

Set theory Boolean-valued models and independence proofs by Bell, John L. 1945-

Get full text

Set theory Boolean-valued models and independence proofs by Bell, John L. 1945-

Get full text

The art of the intelligible an elementary survey of mathematics in its conceptual development by Bell, John L. 1945-

A course in mathematical logic by Bell, John L. 1945-, Machover, Moshé

Boolean-valued models and independence proofs in set theory by Bell, John L. 1945-

A course in mathematical logic by Bell, John L. 1945-

Higher-order logic and type theory by Bell, John L. 1945-

The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics by Bell, John L.

Get full text Get full text

Set theory Boolean-valued models and independence proofs by Bell, John L. 1945-

Toposes and local set theories an introduction by Bell, John L. 1945-

Indexes

A course in mathematical logic by Bell, John L. 1945-, Machover, Moshé

Boolean-valued models and independence proofs in set theory by Bell, John L. 1945-

Boolean-valued models and independence proofs in set theory by Bell, John L. 1945-

Boolean-valued Models and independence proofs in set theory by Bell, John L. 1945-

A course in mathematical logic by Bell, John L. 1945-, Machover, Moshé

Boolean-valued models and independence proofs in set theory by Bell, John L. 1945-

Models and ultraproducts an introduction by Bell, John L. 1945-, Slomson, Alan B. 1943-

Indexes

Models and ultraproducts an introd. by Bell, John L. 1945-, Slomson, Alan B.

Indexes