Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 98
Volume 98, Numbers 1-3, 29 June 1999
- Alexej P. Pynko:
Definitional Equivalence and Algebraizability of Generalized Logical Systems. 1-68 - Enrique Casanovas
:
The Number of Types in Simple Theories. 69-86 - Iraj Kalantari, Lawrence Welch:
Recursive and Nonextendible Functions over the Reals; Filter Foundation for Recursive Analysis, II. 87-110 - J. B. Wells:
Typability and Type Checking in System F are Equivalent and Undecidable. 111-156 - Renling Jin:
Distinguishing Three Strong Saturation Properties in Nonstandard Analysis. 157-171 - Philip Scowcroft:
Some Purely Topological Models for Intuitionistic Analysis. 173-215 - Saharon Shelah, Jindrich Zapletal:
Canonical Models for N1-Combinatorics. 217-259 - Saharon Shelah:
Categoricity for Abstract Classes with Amalgamation. 261-294 - Rodney G. Downey, Geoffrey LaForte, André Nies:
Addendum to "Computably Enumerable Sets and Quasi-Reducibility". 295 - Bakhadyr Khoussainov, Richard A. Shore:
Erratum to "Computable Isomorphisms, Degree Spectra of Relations, and Scott Families". 297-298
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-04-22 20:02 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:
