Your search returned 14 results.

Not what you expected? Check for suggestions
1.
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 610, 1996, Salvador da Bahia, Brazil

by Carnielli Walter A | D'Ottaviano Itala M L.

Series: Contemporary mathematics ; v. 235Material type: Computer file Computer file; Format: electronic Publication details: Providence, RI : American Mathematical Society, 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
2.
Advances in logic : the North Texas Logic Conference, October 810, 2004, University of North Texas, Denton, Texas

by Gao Su | Jackson Steve | Zhang Yi.

Series: Contemporary mathematics ; v. 425Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c2007Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
3.
Algebra and computer science

by Cavallo Bren | Garber David | Kahrobaei Delaram.

Series: Contemporary mathematics ; v. 677Material type: Computer file Computer file; Format: electronic Publication details: Providence, Rhode Island : American Mathematical Society, 2016Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
4.
Bridge to abstract mathematics

by Oberste-Vorth, Ralph W | Lawrence, Bonita A | Mouzakitis, Aristides.

Series: AMS/MAA Textbooks ; v. 56Material type: Computer file Computer file; Format: electronic Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
5.
The Calculi of symbolic logic, 1. Edited by V. P. Orevkov. [Translated from the Russian by A. Yablonsky] Series 2, volume 98

by Orevkov, V. P.

Series: American Mathematical Society Translations: Series 2Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I., American Mathematical Society, 1971Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
6.
Eighteen papers on logic and theory of functions / I. S. Ar�son [and others]. Series 2, volume 83

by Arson, I. S.

Series: American Mathematical Society Translations: Series 2Material type: Computer file Computer file; Format: electronic Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
7.
A first journey through logic

by Hils, Martin | Loeser, Francois.

Series: The Student Mathematical Library ; v. 89Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, 2019Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
8.
A formalization of set theory without variables

by Tarski, Alfred | Givant, Steven R.

Series: Colloquium Publications ; v. 41Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1987Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
9.
Logic and combinatorics : proceedings of the AMSIMSSIAM Joint Summer Research Conference held August 410, 1985

by Simpson Stephen G.

Series: Contemporary mathematics ; v. 65Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1987Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
10.
Logic as algebra volume. 21

by Halmos, Paul R | Givant, Steven R.

Series: Dolciani Mathematical Expositions ; v. 21Material type: Text Text Publication details: [Washington, D.C.] : Mathematical Association of America, c1998Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
11.
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29August 2, 1985

by Alcantara Luiz Paulo de | Carnielli Walter A.

Series: Contemporary mathematics ; v. 69Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1988Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
12.
Proceedings

by Henkin Leon | Tarski Alfred.

Series: Proceedings of symposia in pure mathematics ; v. 25Material type: Computer file Computer file; Format: electronic Publication details: Providence, Published for the Association for Symbolic Logic by American Mathematical Society, 1974Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
13.
Six papers in logic / by S.N. Artemov ... [et al. ; translation edited by Ben Silver]. Series 2, volume 135

by Artemov, S. N.Silver, Ben.

Series: American Mathematical Society Translations: Series 2Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1987Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
14.
A tour through mathematical logic

by Wolf, Robert S.

Series: Carus Mathematical Monographs ; v. 30Material type: Computer file Computer file; Format: electronic Publication details: Washington, DC : Mathematical Association of America, c2005Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart