A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Author index volume 81 (1996)am
1996
Annals of Pure and Applied Logic
Preserved Fulltext
The extensional approach, with an application to streams Lipton, J. and O'Donnell, M.J., Some intuitions behind realizability semantics for constructive logic: Tableaux and Lauchli countermodels ...
., A classical view of the intuitionistic continuum Nerode, A. and Remmel, J.B., On the lattices of NPtime vector space over a finite field 125-170 O'Donnell, M.J., see Lipton, J. 187-239 Remmel, J.B., ...
see Nerode, A. 125-170 Sacks, G.E., Effective forcing versus proper forcing 171-185 Shoenfield, J.R., Priority constructions 115-123 Vesley, R.E., Realizing Brouwer's sequences 25-74 Elsevier Science ...
doi:10.1016/s0168-0072(96)90033-0
fatcat:bbqhyl2gbzeehf7wbzjyljtwbq
Master Index to Volumes 51–60
1993
Annals of Pure and Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Master Index to Volumes 51-60 ABRAHAM, U. and SHELAH, S., A A: well-order of the reals and incompactness of L(Q"") 59 ( GITIK, M., The strength of the failure of the Singular Cardinal Hypothesis 51 ...
in subsystems
of second-order
arithmetic
MAREK,
W., NERODE,
A. and REMMEL,
J., How complicated
is the set of
stable models of a recursive logic program? ...
doi:10.1016/0168-0072(93)90081-n
fatcat:izewemprtbcm3gozu2y4c4roia
Bibliography on Realizability
1999
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Abadi and L. Cardelli. A Theory of Objects. Springer Verlag, 1996. 2] M. Abadi and G.D. Plotkin. A per model of polymorphism and recursive t ypes. In ...
Carboni and E.M. Vitale. Regular and exact completions. Journal of Pure a n d Applied A lgebra, 125:79{117, 1998. 46] L. Cardelli and G. Longo. A semantic basis for Quest. ...
Cook and A. Urquhart. Functional interpretations of feasibly constructive
arithmetic. Annals of Pure and Applied L ogic, 63:103{200, 1993.
49] T. Coquand, C. Gunter, and G. Winskel. ...
doi:10.1016/s1571-0661(04)00103-3
fatcat:jpr3su4qxfgwremm5yjfgwbgai
The Kinetics of Chemical Change in Gaseous Systems
1930
Nature
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
It contains a wonderful record of research work in both applied and pure science of the highest class. Brief historical introductions are given to the various subjects. ...
logically be extended to the other. ...
doi:10.1038/125703d0
fatcat:feniarlizfai5getpkswpubz6u
The Immunology of Parasitic Infections
1930
Nature
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
It contains a wonderful record of research work in both applied and pure science of the highest class. Brief historical introductions are given to the various subjects. ...
logically be extended to the other. ...
doi:10.1038/125703a0
fatcat:v25nqnbsqzbcphcvrlembc2dfm
Master Index To Volumes 11-3011Volumes 11-23 were published under the former name of "Annals of Mathematical Logic"
1986
Annals of Pure and Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
., Stationary logic of ordinals Mekler, A.H., see Eklof, P.C. Metakides, G. and A. Nerode, Recursively enumerable vector spaces Metakides, G. and A. ...
unique Craig interpolant, uniform vs. nonuni-
form complexity
Nadel, M.E., Infinitary intuitionistic logic from a classical point of view
Nerode, A. and R.A. ...
99-111 24 (1983) 87-97 18 (1980) 271-296 22 (1982) 177-196 23 (1982) 101-120 23 (1982) 121-125 15 (1978) 109-160 11 (1977) 195-202 13 (1978) ...
doi:10.1016/0168-0072(86)90026-6
fatcat:lvxcgirz7zcp7if573hj6t7poi
Some Protozoan Diseases of Man and Animals: Anaplasmosis, Babesiosis, and Toxoplasmosis . Annals of the New York Academy of Science, vol. 64, art. 2, pp. 25-277. New York Academy of Science, New York, 1956
1957
Science
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
There follows a discussion of “Adia- batic demagnetization,” by D. de Klerk, which covers in detail all aspects, pure and applied, of the subject. ...
tes
tal
Book Reviews
Some Protozoan Diseases of Man and Animals: Anaplasmosis, Babesiosis, and Toxoplasmosis. Annals of the New York Academy of Science, vol. 64, art. 2, pp. 25-277. ...
doi:10.1126/science.125.3250.701.a
fatcat:mlv6abcgqnbbnmzjagba7mv2um
Some Protozoan Diseases of Man and Animals: Anaplasmosis, Babesiosis, and Toxoplasmosis . Annals of the New York Academy of Science, vol. 64, art. 2, pp. 25-277. New York Academy of Science, New York, 1956
1957
Science
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
There follows a discussion of “Adia- batic demagnetization,” by D. de Klerk, which covers in detail all aspects, pure and applied, of the subject. ...
tes
tal
Book Reviews
Some Protozoan Diseases of Man and Animals: Anaplasmosis, Babesiosis, and Toxoplasmosis. Annals of the New York Academy of Science, vol. 64, art. 2, pp. 25-277. ...
doi:10.1126/science.125.3250.701-a
fatcat:t24n4jjcsballpepqeaimjivr4
Unifying Functional Interpretations: Past and Future
[article]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
, Stein's family of functional interpretations, functional interpretations "with truth", and bounded functional interpretations. ...
Our goal in the present paper is twofold: (1) to look back and single out the main lessons learnt so far, and (2) to look forward and list several open questions and possible directions for further research ...
Annals of Pure and Applied Logic, 133:125–148, 2005.
[9] M. Bezem. Strongly majorizable functionals of finite type: a model for bar recursion containing
discontinuous functionals. ...
arXiv:1410.4364v1
fatcat:p2q5nxafnnarxptyj3wqlfxxh4
Abstracts
2005
Historia Mathematica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Readers are invited to send reprints, autoabstracts, corrections, additions, and notices of publications that have been overlooked. ...
A triple numbering system is used: the first number indicates the volume, the second the issue number, and the third the sequential number within that issue. ...
The indefinability of truth in the "Wahrheitsbegriff," Annals of Pure and Applied Logic 126 (1-3) (2004), 27-37. ...
doi:10.1016/j.hm.2005.04.001
fatcat:jpycq5xl2zexnby2h453ddkpp4
Handbuch der Physik . vol. XV, Low Temperature Physics II . S. Flügge, Ed. Springer, Berlin, 1956. 477 pp. Illus
1957
Science
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
There follows a discussion of “Adia- batic demagnetization,” by D. de Klerk, which covers in detail all aspects, pure and applied, of the subject. ...
tes
tal
Book Reviews
Some Protozoan Diseases of Man and Animals: Anaplasmosis, Babesiosis, and Toxoplasmosis. Annals of the New York Academy of Science, vol. 64, art. 2, pp. 25-277. ...
doi:10.1126/science.125.3250.701-b
fatcat:4rm4flnzdzblpce627wu5tsm5a
Handbuch der Physik . vol. XV, Low Temperature Physics II . S. Flügge, Ed. Springer, Berlin, 1956. 477 pp. Illus
1957
Science
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
There follows a discussion of “Adia- batic demagnetization,” by D. de Klerk, which covers in detail all aspects, pure and applied, of the subject. ...
tes
tal
Book Reviews
Some Protozoan Diseases of Man and Animals: Anaplasmosis, Babesiosis, and Toxoplasmosis. Annals of the New York Academy of Science, vol. 64, art. 2, pp. 25-277. ...
doi:10.1126/science.125.3250.701.b
fatcat:j7rqcix4bjh7zibqr7qehwgegm
Recent Publications
1923
The American mathematical monthly
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
In the Quarterly Journal of Pure and Applied Mathematics, volume 49, number 3, October, 1922, there is an article (pages 226-283) “Abstract definitions of the symmetric and alternating groups and certain ...
He was a member of its editorial committee for volumes 125-151, inclusive. ...
doi:10.1080/00029890.1923.11986207
fatcat:qlh4uzhtl5av3iksgc7ehvg6ni
ABSTRACTS
1999
Historia Mathematica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Readers are invited to send reprints, autoabstracts, corrections, additions, and notices of publications that have been overlooked. ...
A triple numbering system is used: the first number indicates the volume, the second the issue number, and the third the sequential number within that issue. ...
Lotze and Frege: The Dating of the "Kernsätze," History and Philosophy of Logic 18 (1997),
17-31. ...
doi:10.1006/hmat.1999.2259
fatcat:etc6wezjufh65epevvyrynwute
Recent Publications
1920
The American mathematical monthly
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(undemonstrated) propositions admit of rigorous demonstration by means of purely logical concepts and propositions. ...
“Pure logic, and pure mathematics (which is the same thing), aims at being true, in Leibnizian phraseology, in all possible worlds, not only in this higgledy-piggledy job-lot of a world in which chance ...
doi:10.1080/00029890.1920.11985937
fatcat:ax52tpajfrhadmptvp2gcyowiq
« Previous
Showing results 1 — 15 out of 5,219 results