| Language, Logic and Formalization of Knowledge |
B McGuinness |
Achille C Varzi |
Studia Logica |
2000-12-01 |
| Proof, Logic and Formalization |
Michael Detlefsen |
Brendan Larvor |
International Journal of Philosophical Studies |
1994-03-01 |
| Proof, Logic and Formalization |
Michael Detlefsen |
Gerhard Heinzmann |
History and Philosophy of Logic |
1994-01-01 |
| Proof, Logic and Formalization |
Michael Detlefsen |
Mark Steiner |
The Journal of Symbolic Logic |
1993 |
| A Formalization of Set Theory without Variables |
Alfred Tarski |
John Bacon |
History and Philosophy of Logic |
1989-01-01 |
| Formalization and automatic theorem-proving |
Hao Wang |
Joyce Friedman |
The Journal of Symbolic Logic |
1974 |
| The formalization of mathematics |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1965 |
| On formalization |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1963 |
| Naihó ronrigaku no keiskikika (Formalization of an intensional logic) |
Shozo Ômori |
S. Kuroda |
The Journal of Symbolic Logic |
1955 |
| Formalization of logic |
Rudolf Carnap |
Carl G. Hempel |
The Journal of Symbolic Logic |
1943 |
