Author Search Results

1

Forcing and classifying topoi / / Andrej Scedrov.

Participants: Scedrov, Andrej, 1955- [ VerfasserIn ]
Published: [1984]
Superior document: Memoirs of the American Mathematical Society, number 295

Links: Get full text

2

Freyd's models for the independence of the axiom of choice / / Andreas Blass and Andre Scedrov.

Participants: Blass, Andreas, 1947- [ VerfasserIn ]; Scedrov, Andrej, 1955- [ VerfasserIn ]; Scedrov, Andrej, 1955- [ TeilnehmendeR ]
Published: 1989.
Superior document: Memoirs of the American Mathematical Society, Number 404

Other Authors: “...Scedrov, Andrej, 1955-...”

Links: Get full text

3

Categories in computer science and logic : : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / / John W. Gray and Andre Scedrov, editors.

Participants: AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic University of Colorado, Boulder), [ ]; Gray, John W. 1931- [ TeilnehmendeR ]; Scedrov, Andrej, 1955- [ TeilnehmendeR ]; National Science Foundation, [ TeilnehmendeR ]
Published: [1989]
Superior document: Contemporary mathematics, volume 92

Other Authors: “...Scedrov, Andrej, 1955-...”

Links: Get full text