Hilbert's thesis : some considerations about formalizations of mathematics
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1982.
Main Author: | Berk, Lon A |
---|---|
Other Authors: | George Boolos. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2009
|
Subjects: | |
Online Access: | http://dspace.mit.edu/handle/1721.1/15650 http://hdl.handle.net/1721.1/15650 |
Similar Items
-
First order logic as a formal language : an investigation of categorial grammar.
by: Levin, Harold Dresner
Published: (2009) -
Classical mathematical logic : the semantic foundations of logic /
by: Epstein, Richard L., 1947-
Published: (2006) -
Mantik dalam babak pemikiran ilmiah tamadun manusia /
by: Mat Rofa Ismail, editor
Published: (1997) -
Logic, semantics, mathematics : papers from 1923 to 1938 /
by: 319988 Tarski, Alfred, et al.
Published: (1956) -
Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa /
by: De Alcantara, Luiz Paulo
Published: (1985)