Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 40
Volume 40, Number 1, October 1988
- Harvey M. Friedman, Michael Sheard:
The disjunction and existence properties for axiomatic systems of truth. 1-10 - Dan Saracino, Carol Wood:
Homogeneous finite rings in characteristic 2n. 11-28 - Philip Scowcroft:
A transfer theorem in constructive real algebra. 29-87 - Saharon Shelah
:
Number of strongly alephɛ-saturated models - an addition. 89-91
Volume 40, Number 2, November 1988
- Giuseppe Longo:
On church's formal theory of functions and functionals: The λ-calculus: connections to higher type recursion theory, proof theory, category theory. 93-133 - J. M. E. Hyland:
A small complete category. 135-165 - Michael Makkai:
Strong conceptual completeness for first-order logic. 167-215
Volume 40, Number 3, December 1988
- G. M. Germano, Stefano Mazzanti:
Primitive iteration and unary functions. 217-256 - Robert S. Lubarsky:
Admissibility spectra and minimality. 257-276 - Richard A. Shore:
A non-inversion theorem for the jump operator. 277-303
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-12 21:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
