Mathematical logic and formalized theories : a survey of basic concepts and results /
Mathematical Logic and Formalized Theories.
Cote: | Libro Electrónico |
---|---|
Auteur principal: | Rogers, Robert, 1926- (Auteur) |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
Amsterdam :
North-Holland,
[1974, 1971]
|
Sujets: | |
Accès en ligne: | Texto completo |
Documents similaires
-
Algebraic methods of mathematical logic
par: Rieger, Ladislav, 1916-1963
Publié: (1967) -
Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Publié: (1989) -
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Publié: (1988) -
A survey of mathematical logic /
Publié: (1963) -
Mathematical interpretation of formal systems
Publié: (1955)