A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Grünbaum, Adolf, Can We Ascertain the Falsity of a Scientific Hypothesis? (1971) |
| Grzegorczyk, Andrzej, The Systems of Leśniewski in Relation to Contemporary Logical Research |
| Grzegorczyk, Andrzej, Some Classes of Recursive Functions (1953) |
| Grzegorczyk, Andrzej, Some Approaches to Constructive Analysis (1957) |
| Guaspari, David ; Harrington, Leo, Characterizing $C_3$ (The Largest Countable $\Pi_3^1$ Set) (1976) |
| Gupta, Haragauri Narayan, Contributions to the Axiomatic Foundations of Geometry, I (1965) |
| Gupta, Haragauri Narayan, Contributions to the Axiomatic Foundations of Geometry, II (1965) |
| Gurevič, Ju. S., A Contribution to the Elementary Theory of Lattice Ordered Abelian Groups and $K$-Lineals (1967) |
| Gurevič, Reuben, Equational Theory of Positive Numbers with Exponentiation is Decidable |
| Gurevič, Reuben, Equational Theory of Positive Numbers with Exponentiation is not Finitely Axiomatizable |