Concepedia

George Boolos

GB

31

Publications

2.9K

Citations

21

H-Index

1969

Active since

Affiliations

Massachusetts Institute of Technology(Current)

University of Padua

George Boolos is an author at Massachusetts Institute of Technology specializing in automated reasoning, engineering, and formal methods.

Top concepts

Publications per year

1969–2012

31

Publications

31

To Be is to be a Value of a Variable (or to be Some Values of Some Variables)

George Boolos · The Journal of Philosophy · 1984 · 658 citations

The Iterative Conception of Set

George Boolos · The Journal of Philosophy · 1971 · 567 citations

, , +2

Nominalist Platonism

George Boolos · The Philosophical Review · 1985 · 317 citations

C. Smoryński. Self-reference and modal logic. Universitext. Springer-Verlag, New York, Berlin, etc., 1985, xii + 333 pp.

George Boolos · Journal of Symbolic Logic · 1988 · 239 citations

, , +14

On Second-Order Logic

George Boolos · The Journal of Philosophy · 1975 · 210 citations

, , +4

Rows per page

1–5 of 31