Search Results for Mathematical logic.

30 Results Found

1 2 3

000000000000DEFAULT

13.

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory

Author

Lau, Dietlinde. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-36023-9

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

Author

Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11814948

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

Author

Ésik, Zoltán. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11874683

Format:

Availability

Online Library~1

Available:
Copies:

16.

Mathematics and common sense a case of creative tension

Author

Davis, Philip J., 1923-

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

17.

Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004

Author

Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-7643-7692-9

Format:

Availability

Online Library~1

Available:
Copies:

18.

18 Unconventional Essays on the Nature of Mathematics

Author

Hersh, Reuben. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-29831-2

Format:

Availability

Online Library~1

Available:
Copies:

19.

Notes on Set Theory

Author

Moschovakis, Yiannis. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-31609-4

Format:

Availability

Online Library~1

Available:
Copies:

20.

Problems and Theorems in Classical Set Theory

Author

Komjáth, Péter. author. Totik, Vilmos. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-36219-3

Format:

Availability

Online Library~1

Available:
Copies:

21.

More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnal

Author

Győri, Ervin. Katona, Gyula O. H. Lovász, László. Fleiner, Tamás. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-32439-3

Format:

Availability

Online Library~1

Available:
Copies:

22.

Théorie des ensembles

Author

Bourbaki, N. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-34035-5

Format:

Availability

Online Library~1

Available:
Copies:

23.

Axiom of Choice

Author

Herrlich, Horst. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11601562

Format:

Availability

Online Library~1

Available:
Copies:

24.

Tracking reason proof, consequence, and truth

Author

Azzouni, Jody.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195187137.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3

	{displayName}	{count}
{error}