- (1 other version)A logical calculus of the ideas immanent in nervous activity.Warren S. McCulloch & Walter Pitts - 1943 - The Bulletin of Mathematical Biophysics 5 (4):115-133.details
|
|
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.details
|
|
Formalisations of Further $mathbf{aleph}_0$-Valued Lukasiewicz Propositional Calculi.Alan Rose - 1978 - Journal of Symbolic Logic 43 (2):207-210.details
|
|
(5 other versions)Grundzüge der theoretischen logik.David Hilbert - 1928 - Berlin,: G. Springer. Edited by Wilhelm Ackermann.details
|
|
The logical syntax of language.Rudolf Carnap - 1937 - London,: K. Paul, Trench, Trubner & co.. Edited by Amethe Smeaton.details
|
|
(1 other version)Many-valued logics.J. Barkley Rosser - 1977 - Westport, Conn.: Greenwood Press. Edited by Atwell R. Turquette.details
|
|
Extensions of some theorems of Anderson and Belnap.Alan Rose - 1962 - Journal of Symbolic Logic 27 (4):423-425.details
|
|
Complex Non-linear Biodynamics in Categories, Higher Dimensional Algebra and Łukasiewicz–Moisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks.I. C. Baianu, R. Brown, G. Georgescu & J. F. Glazebrook - 2006 - Axiomathes 16 (1):65-122.details
|
|
Essays on Life Itself.Robert Rosen - 2000 - Columbia University Press.details
|
|
Selected works.Jan Łukasiewicz - 1970 - Amsterdam,: North-Holland Pub. Co.. Edited by Ludwik Borkowski.details
|
|
(1 other version)A theorem about infinite-valued sentential logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.details
|
|
Essais sur les logiques non chrysippiennes.Grigore C. Moisil - 1972 - Bucarest,: Éditions de l'Académie de la République Socialiste de Roumanie.details
|
|
(1 other version)Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.details
|
|
Moisil Algebras.Roberto Cignoli - 1975 - Journal of Symbolic Logic 40 (3):464-465.details
|
|
The elements of mathematical logic.Paul Charles Rosenbloom - 1950 - New York]: Dover Publications.details
|
|
Formalisations of further ℵ0-valued Łukasiewicz propositional calculi.Alan Rose - 1978 - Journal of Symbolic Logic 43 (2):207 - 210.details
|
|