Abhandlungen zur Philosophie der Mathematik /

ā- Bernays, Paul, 1888-
I whakaputaina 1976

The collected works of Alonzo Church /

ā- Church, Alonzo, 1903-1995
I whakaputaina 2019

Computation, logic, philosophy : a collection of essays /

ā- Wang, Hao, 1921-
I whakaputaina 1990

Computational logic and human thinking how to be artificially intelligent /

ā- Kowalski, Robert
I whakaputaina 2011

The consistency of the axiom of choice : and of the generalized continuum-hypothesis with the axioms of set theory.

ā- Gödel, Kurt
I whakaputaina 1940

Constructibility and mathematical existence /

ā- Chihara, Charles S., 1932-
I whakaputaina 1990

Essays in memory of Imre Lakatos /

I whakaputaina 1976

The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition /

ā- Linsky, Bernard
I whakaputaina 2011

Les fondements des mathematiques : De la geometrie d'Euclide a la relativite generale et a l' intuitionisme.

ā- Gonseth, Ferdinand, 1890-
I whakaputaina 1974

Foundations : essays in philosophy, logic, mathematics, and economics /

ā- Ramsey, F. P. (Frank Plumpton), 1903-1930
I whakaputaina 1978

Foundations of mathematics /

ā- Hatcher, William S.
I whakaputaina 1968

The foundations of mathematics and other logical essays /

ā- Ramsey, F. P. (Frank Plumpton), 1903-1930
I whakaputaina 1931

Foundations of mathematics : Symposium papers commemorating the sixtieth birthday of Kurt Godel /

I whakaputaina 1969

Frege and Godel : two fundamental texts in mathematical logic.

ā- Van Heijenoort, Jean, 1912-
I whakaputaina 1970

Frege : philosophy of mathematics /

ā- Dummett, Michael, 1925-2011
I whakaputaina 1991

Frege's philosophy of mathematics /

I whakaputaina 1995

Frege und die moderne Grundlagenforschung : Symposium, gehalten in Bad Homburg im Dezember 1973 /

I whakaputaina 1975

George Boole : selected manuscripts on logic and its philosophy /

ā- Boole, George, 1815-1864
I whakaputaina 1997

Gödel '96 : logical foundations of mathematics, computer science, and physics-- Kurt Gödel's Legacy /

I whakaputaina 2001

Grundlagen der Mathematik /

ā- Hilbert, David, 1862-1943
I whakaputaina 1968