发文地区与机构
近年国家 / 地区发文量统计
| 国家 / 地区 | 发文量 |
|---|---|
| USA | 43 |
| GERMANY (FED REP GER) | 12 |
| CHINA MAINLAND | 11 |
| France | 9 |
| Israel | 8 |
| Spain | 6 |
| England | 5 |
| Singapore | 4 |
| Iran | 3 |
| Netherlands | 3 |
近年机构发文量统计
| 机构 | 发文量 |
|---|---|
| UNIVERSITY OF CALIFORNIA SYSTEM | 7 |
| HEBREW UNIVERSITY OF JERUSALEM | 6 |
| UNIVERSITY OF BARCELONA | 5 |
| CENTRE NATIONAL DE LA RECHERCHE SCIENTI... | 4 |
| CHINESE ACADEMY OF SCIENCES | 4 |
| UNIVERSITY OF ILLINOIS SYSTEM | 4 |
| ECOLE CENTRALE DE LYON | 3 |
| INSTITUT NATIONAL DES SCIENCES APPLIQUE... | 3 |
| TECHNICAL UNIVERSITY OF DARMSTADT | 3 |
| UNIVERSITE CLAUDE BERNARD LYON 1 | 3 |
文章引用情况
1
More Automorphism Groups of Countable, Arithmetically Saturated Models of Peano Arithmetic2
Enumeration 1-Genericity in the Local Enumeration Degrees3
On Goodman Realizability4
Martin-Lof Randomness Implies Multiple Recurrence in Effectively Closed Sets5
Strong Noncontingency: On the Modal Logics of an Operator Expressively Weaker Than Necessity6
A Counterexample to Polynomially Bounded Realizability of Basic Arithmetic7
More Notions of Forcing Add a Souslin Tree8
The Eu Approach to Formalizing Euclid: A Response to On the Inconsistency of Mumma's Eu9
LD-Algebras Beyond 1010
An Analytic Calculus for the Intuitionistic Logic of Proofs