Search Results for -- -ANSİKLOPEDİLER.

25.

Model Theory and Applications

Author

Mangani, P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

From Objects to Diagrams for Ranges of Functors

Author

Gillibert, Pierre. author. Wehrung, Friedrich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Hyperfinite Dirichlet Forms and Stochastic Processes

Author

Albeverio, Sergio. author. Fan, Ruzong. author. Herzberg, Frederik. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008

Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008

Author

Skof, Fulvia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-1836-5

Format:

Availability

Online Library~1

Available:
Copies:

29.

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:

30.

Foundational Theories of Classical and Constructive Mathematics

Author

Sommaruga, Giovanni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0431-2

Format:

Availability

Online Library~1

Available:
Copies:

31.

Games, Norms and Reasons Logic at the Crossroads

Author

van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0714-6

Format:

Availability

Online Library~1

Available:
Copies:

32.

Advanced Łukasiewicz calculus and MV-algebras

Author

Mundici, D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0840-2

Format:

Availability

Online Library~1

Available:
Copies:

33.

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:

34.

The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematics

Author

Soifer, Alexander. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-75472-7

Format:

Availability

Online Library~1

Available:
Copies:

35.

The Selected Correspondence of L.E.J. Brouwer

Author

Dalen, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-537-8

Format:

Availability

Online Library~1

Available:
Copies:

36.

The Proof is in the Pudding The Changing Nature of Mathematical Proof

Author

Krantz, Steven G. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-48744-1

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}