Author Search Results

Association for Symbolic Logic

The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Phokion Kolaitis. Provided by Wikipedia

Journal of logic and analysis.

Participants: Association for Symbolic Logic. [ ]; Association for Symbolic Logic. [ TeilnehmendeR ]

Peer Reviewed

Free to read (incl. Open Access)

Other Authors: “...Association for Symbolic Logic....”

Proof and computations / Helmut Schwichtenberg, Stanley S. Wainer.

Participants: Schwichtenberg, Helmut, 1942- [ ]; ProQuest (Firm) [ ]; Association for Symbolic Logic. [ ]; Wainer, S. S. [ TeilnehmendeR ]; ProQuest (Firm) [ TeilnehmendeR ]; ...
Published: 2012.
Superior document: Perspectives in logic

Other Authors: “...Association for Symbolic Logic....”

Links: Get full text

Methods and applications of mathematical logic : : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / / Walter A. Carnielli and Luiz Paulo de Alcantara, editors.

Participants: Latin-American Symposium on Mathematical Logic State University of Campinas), [ ]; Carnielli, Walter A. [ TeilnehmendeR ]; Alcantara, Luiz Paulo de, 1944- [ TeilnehmendeR ]; Sociedade Brasileira de Logica, [ TeilnehmendeR ]; Sociedade Brasileira de Matematica, [ TeilnehmendeR ]; ...
Published: [1988]
Superior document: Contemporary mathematics, volume 69

Other Authors: “...Association for Symbolic Logic,...”

Links: Get full text