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
Bibliography on Realizability
1999
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
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 ...
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. ...
Some free constructions in realizability and proof theory. Journal of Pure and Applied A lgebra, 103:117{148, 1995. 42] A. Carboni, P.J. Freyd, and A. Scedrov. ...
doi:10.1016/s1571-0661(04)00103-3
fatcat:jpr3su4qxfgwremm5yjfgwbgai
ONE-STAGE RESECTION AND ANASTOMOSIS OF THE COLON
1948
Annals of Surgery
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
.: ANNALS OF SURGERY, 106: 701-714, 1937.
Mayo, C. W., and W. C. Simpson: ANNALS OF SURGERY, 109: 430-436, 1939.
3 Meyer, K. A., A. Sheridan and D. D. ...
DAYS MORTALITY 50 6% 46 17 2%
130 E. 79th St. New York City. ...
doi:10.1097/00000658-194801000-00002
pmid:17859052
pmcid:PMC1513760
fatcat:5il23a7m5zdjhn5vs6cqmzu67m
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
Measurement of Magnetic Susceptibility on Some Rock Samples in Parts of Kuje Area, Abuja-Nigeria
2019
NIGERIAN ANNALS OF PURE AND APPLIED SCIENCES
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.
Variation of susceptibility for the different samples has been analyzed and confirm in the study. ...
In this study, Magnetic Susceptibility has been measured on rock samples from the sedimentary succession of Kuje Area in FCT. ...
Maiden Edi on 2018 | 279
| Nigerian Annals of Pure and Applied Sciences ...
doi:10.46912/napas.49
fatcat:3qadypybbfcrtisgbc7nbvmuzu
The Quantitative and Qualitative Control of Bile Flow and Its Relation to Biliary Tract Surgery
1948
Annals of Surgery
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Likewise it has been of great aid and has lessened our
er III
Annals of Surgery
R. RUSSELL BEST Annals of | Surgery
TTYTT J Lortmttmtn ttm
brmmin i
3—The arrow points to a
FIG 2. ...
The salts or acids of glycine and taurine are natural constituents of bile and when bile acid exists in conjunction with glycine or taurine, the term conjugated is applied. ...
pmid:17859205
pmcid:PMC1514056
fatcat:wnniwjhodrerjiy37axb47mbz4
THE QUANTITATIVE AND QUALITATIVE CONTROL OF BILE FLOW AND ITS RELATION TO BILIARY TRACT SURGERY*
1948
Annals of Surgery
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Likewise it has been of great aid and has lessened our
er III
Annals of Surgery
R. RUSSELL BEST Annals of | Surgery
TTYTT J Lortmttmtn ttm
brmmin i
3—The arrow points to a
FIG 2. ...
The salts or acids of glycine and taurine are natural constituents of bile and when bile acid exists in conjunction with glycine or taurine, the term conjugated is applied. ...
doi:10.1097/00000658-194809000-00003
pmid:18889536
fatcat:mhenizqgwnbc7gcwihtdjle22a
Page 324 of None Vol. 34, Issue 880
[page]
1872
None
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 application of the former principle, the purely figurative method has been the starting point and the symbolic method the goal. ...
Lenormant’s object is to show that logically, and in accordance with the very organization of the human mind, all systems of writing have begun by ideographism and gradually arrived at phonetism. ...
New Books
1956
Science
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
A revised and greatly expanded edition of the author’s well-known contribution of 1944 to the Annals of Mathematics Studies, the work is addressed to beginners in logic who possess a respectable mathematical ...
The first volume of Alonzo Church’s projected two-volume textbook on math- ematical logic is now available as No. 17 in the Princeton Mathematical Series,’ Its excellence in every respect requires no comment ...
doi:10.1126/science.124.3233.1215.c
fatcat:cyona2w7y5esdn6mvinz3ul754
New Books
1956
Science
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
A revised and greatly expanded edition of the author’s well-known contribution of 1944 to the Annals of Mathematics Studies, the work is addressed to beginners in logic who possess a respectable mathematical ...
The first volume of Alonzo Church’s projected two-volume textbook on math- ematical logic is now available as No. 17 in the Princeton Mathematical Series,’ Its excellence in every respect requires no comment ...
doi:10.1126/science.124.3233.1215-c
fatcat:qs6brro4gvcmpesc54xyeyexla
Gödel on Deduction
[article]
2016
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.
Other Versions
This is an examination, a commentary, of links between some philosophical views ascribed to G\"odel and general proof theory. ...
It is inquired whether this centrality of deduction could also be kept in the intensional logic of concepts whose building G\"odel seems to have taken as the main task of logic for the future. ...
Church, A set of postulates for the foundation of logic,
Annals of Mathematics, vol. 33 (1932), pp. 346-366
[Church 1933] ——–, A set of postulates for the foundation of logic, Annals
of Mathematics ...
arXiv:1604.02757v4
fatcat:d2czdsij7fb3fbctr4uvrdtw3i
Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond
2020
Electronic Proceedings 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 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2001.06942v1 fatcat:6c7lsfalb5fanluvezt7nvsqkq
The aim of this survey is to revisit such achievements and results from the standpoint of QAPL and its community. ...
In the same period, they represented the central theme of the series of workshops entitled Quantitative Aspects of Programming Languages and Systems (QAPL) and born in 2001. ...
applied. ...
doi:10.4204/eptcs.312.1
fatcat:4fjvygbppjbq3k5ury2kvue3nq
Abstracts
1981
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.
@CL)
#1555
CAMPBELL-KELLY
MARTIN
1980
Progreamming
the Mancherster
Mark I Annals
of the His-
tory
of Computing
2 (21, 130-168. ...
A theorem
of Lambert
is
applied
to the calculation
of the circumference
of a circle
and shown to conform
to
a method of Huyyens. ...
doi:10.1016/0315-0860(81)90020-3
fatcat:zm3b34bz3bbrzbkhsz3hl4edtu
Assessment of the assortment potential of the growing stock – a photogrammetry based approach for an automatized grading of sample trees
2006
Annals of Forest 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 2020; you can also visit the original URL.
The file type is application/pdf.
ECognition is an image analysis system using a polygon-oriented segmentation and a fuzzy logic based classification. ...
A total of eight Norway spruces (Picea abies, Karst.) and eight Scots pines (Pinus sylvestris L.) was selected as sample material for the development of the classification process in eCognition. ...
of conversion effects in pure coniferous stands in the test regions "Middle and Eastern Ore Mountains" and "Lowlands" [8] . ...
doi:10.1051/forest:2006078
fatcat:chz76py2djf3zc75furmbnza2q
Fagacées: a tree-centered growth and yield model for sessile oak (Quercus petraea L.) and common beech (Fagus sylvatica L.)
2011
Annals of Forest 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 2017; you can also visit the original URL.
The file type is application/pdf.
Open Access This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided ...
the original author(s) and source are credited. ...
They provide detailed results on the geometry of each stem: volume of sapwood and heartwood, ring width. ...
doi:10.1007/s13595-011-0157-0
fatcat:2f5dmsvlxfgjzhydlzkpmwan3q
Effect of Autonomic Blocking Agents on Surgical Antidiuresis in Dogs
1958
Annals of Surgery
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
As_ described phentholamine, which has a purely peripheral sympatho-
above,
KOVACS, KOVACS, KOVATS, KOVACS AND PETRI
Annals of Surger, March 195
adrenolytic action, is also able to inhibit jp creased postoperative ...
Szutrély, J. and P. V.
Annals of Sur Surgery March i
Fukud; Kawai, H. Yamada and K. ...
doi:10.1097/00000658-195803000-00013
pmid:13509585
pmcid:PMC1450602
fatcat:ortecf4yu5falb4gwsnxmaqcrm
« Previous
Showing results 1 — 15 out of 5,154 results