| The Symbolic Function |
Gemma Corradi Fiumara |
Karl N Simms |
Journal of Applied Philosophy |
1993-01-01 |
| Computabitity. An introduction to recursive function theory |
Nigel Cutland |
H. B. Enderton |
The Journal of Symbolic Logic |
1987 |
| Logic: form and function. The mechanization of deductive reasoning |
J. A. Robinson |
J. D. Halpern |
The Journal of Symbolic Logic |
1986 |
| Recursive function theory and logic |
Ann Yasuhara |
Oseph S. Ullian |
The Journal of Symbolic Logic |
1975 |
| On the significance of the principle of excluded middle in mathematics, especially in function theory, English translation of 15516 by Stefan Bauer-Mengelberg and Jean van Heijenoort |
Luitzen Egbertus Jan Brouwer |
Joan Rand Moschovakis |
The Journal of Symbolic Logic |
1970 |
| A topological method for the determination of the minimal forms of a Boolean function. Transactions of the IRE Professional. Group on Electronic Computers, vol. EC-5 no. 3 (1956) |
R. H. Urbano and R. K. Mueller |
Thomas H. Mott |
The Journal of Symbolic Logic |
1960 |
| Scientific Explanation. A Study of the Function of Theory, Probability and Law in Science |
Richard Bevan Braithwaite |
J. H. Woodger |
The Journal of Symbolic Logic |
1957 |
| Tagen n-ti kansûsoku (ronri) hôteisiki no ippankai ni tuite (On the general solution of the n-valued function-lattice (logical) equation in several variables) |
Makoto Itoh |
Katuzi Ono |
The Journal of Symbolic Logic |
1957 |
| Itigen n-ti kansûsoku (ronri) hôteisiki no ippankai ni tuite (On the general solution of the n-valued function-lattice (logical) equation in one variable) |
Makoto Itoh |
Katuzi Ono |
The Journal of Symbolic Logic |
1957 |
| Three contributions to recursive function theory |
J. R. Myhill |
Norman Shapiro |
The Journal of Symbolic Logic |
1955 |
