Search Results for Logic, symbolic and mathematical.

29 Results Found

1 2 3

000000000000DEFAULT

13.

Techniques of Constructive Analysis

Author

Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

The Congruences of a Finite Lattice A Proof-by-Picture Approach

Author

Grätzer, George. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-8176-4462-8

Format:

Availability

Online Library~1

Available:
Copies:

15.

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:

16.

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:

17.

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:

18.

Finite Model Theory

Author

Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-28788-4

Format:

Availability

Online Library~1

Available:
Copies:

19.

Parameterized Complexity Theory

Author

Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-29953-X

Format:

Availability

Online Library~1

Available:
Copies:

20.

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:

21.

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:

22.

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:

23.

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:

24.

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:

1 2 3

	{displayName}	{count}
{error}