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
| Asser, Günter ; Rautenber, Wolfgang, Ein Verfahren zur Axiomatisierung der Kontradiktionen gewisser zweiwertiger Aussagenkalküle (1960) |
| Asser, Günter ; Schröter, Karl, Axiomatisierung der $k$-zahlig allgemeingültigen Ausdrücke des Stufenkalküls (1958) |
| Asser, Günter ; Schröter, Karl, Inhalt der Bände 1-10: 1955 bis 1964 (1964) |
| Asser, Günter ; Schröter, Karl, Inhalt der Bände 11-20: 1965 bis 1974 (1975) |
| Avigad, Jeremy D., Proof-Theoretic Investigations of Subsystems of Second-Order Arithmetic (1995) |
| Avraham, Uri, Minimal Model of" $\aleph_1^L$ is countable" and Definable Reals |