Search Results for Mathematics.

1.

The Argument of Mathematics

Author

Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336263.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-6534-4

Format:

Availability

Online Library~1

Available:
Copies:

2.

Mathematics of Fuzzy Sets and Fuzzy Logic

Author

Bede, Barnabas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333950.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35221-8

Format:

Availability

Online Library~1

Available:
Copies:

3.

Mathematics of Discrete Structures for Computer Science

Author

Pace, Gordon J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29840-0

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik

Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik

Author

Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333036.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

Author

Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-23211-4

Format:

Availability

Online Library~1

Available:
Copies:

6.

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:

7.

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:

8.

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:

9.

A Course on Mathematical Logic

Author

Srivastava, Shashi Mohan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331853.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-5746-6

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Author

Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334465.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37635-1

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

Author

Hasegawa, Masahito. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334702.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38946-7

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334718.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39053-1

Format:

Availability

Online Library~1

Available:
Copies:

13.

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Author

Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335032.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40948-6

Format:

Availability

Online Library~1

Available:
Copies:

14.

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Author

Hoffmann, Dirk W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337115.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34720-7

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cylindric-like Algebras and Algebraic Logic

Author

Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333922.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35025-2

Format:

Availability

Online Library~1

Available:
Copies:

16.

Logic: A Brief Course

Author

Mundici, Daniele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-2361-1

Format:

Availability

Online Library~1

Available:
Copies:

17.

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

Author

Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11682-7

Format:

Availability

Online Library~1

Available:
Copies:

18.

Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles

Author

Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13606-1

Format:

Availability

Online Library~1

Available:
Copies:

19.

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Author

Hoffmann, Dirk W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8274-2560-7

Format:

Availability

Online Library~1

Available:
Copies:

20.

Logica: Metodo Breve

Author

Mundici, Daniele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-1884-6

Format:

Availability

Online Library~1

Available:
Copies:

21.

Methods of Cut-Elimination

Author

Leitsch, Alexander. author. Baaz, Matthias. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0320-9

Format:

Availability

Online Library~1

Available:
Copies:

22.

Apartness and Uniformity A Constructive Development

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-3-642-22415-7

Format:

Availability

Online Library~1

Available:
Copies:

23.

Dual Tableaux: Foundations, Methodology, Case Studies

Author

Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0005-5

Format:

Availability

Online Library~1

Available:
Copies:

24.

A Concise Introduction to Mathematical Logic

Author

Rautenberg, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-1221-3

Format:

Availability

Online Library~1

Available:
Copies:

25.

Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia

Author

Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Games: Unifying Logic, Language, and Philosophy

Author

Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9374-6

Format:

Availability

Online Library~1

Available:
Copies:

27.

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

Author

Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9084-4

Format:

Availability

Online Library~1

Available:
Copies:

28.

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

Author

Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6782-2

Format:

Availability

Online Library~1

Available:
Copies:

29.

Institution-independent Model Theory

Author

Diaconescu, Răzvan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8708-2

Format:

Availability

Online Library~1

Available:
Copies:

30.

Ernst Zermelo An Approach to His Life and Work

Author

Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Logica Universalis Towards a General Theory of Logic

Author

Beziau, Jean-Yves. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8354-1

Format:

Availability

Online Library~1

Available:
Copies:

32.

A Concise Introduction to Mathematical Logic

Author

Rautenberg, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-34241-9

Format:

Availability

Online Library~1

Available:
Copies:

33.

Mathematical Problems from Applied Logic I Logics for the XXIst Century

Author

Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-31072-X

Format:

Availability

Online Library~1

Available:
Copies:

34.

A Modern Perspective on Type Theory From its Origins until Today

Author

Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-2335-9

Format:

Availability

Online Library~1

Available:
Copies:

35.

Logica Universalis Towards a General Theory of Logic

Author

Beziau, Jean-Yves. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}