Search Results for Mathematical Logic and Foundations.

1.

Cover image for Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.

Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.

Author

International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422559

Format:

Availability

Online Library~1

Available:
Copies:

2.

The foundations of mathematics

Author

Kunen, Kenneth.

Preferred Shelf Number

QA9 K796 2012

Format:

Availability

Beytepe Library~1

Available:
Copies:

3.

Set theory

Author

Kunen, Kenneth.

Preferred Shelf Number

QA248 K858 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

4.

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:

5.

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:

6.

Reactive Kripke Semantics

Author

Gabbay, Dov M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335100.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

Author

Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335941.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-5301-3

Format:

Availability

Online Library~1

Available:
Copies:

8.

Logic and Structure

Author

Dalen, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331010.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4558-5

Format:

Availability

Online Library~1

Available:
Copies:

9.

L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life

Author

Dalen, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331026.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4616-2

Format:

Availability

Online Library~1

Available:
Copies:

10.

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:

11.

Visual Reasoning with Diagrams

Author

Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332637.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-0348-0600-8

Format:

Availability

Online Library~1

Available:
Copies:

12.

The Mathematics of Coordinated Inference A Study of Generalized Hat Problems

Author

Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332859.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-01333-6

Format:

Availability

Online Library~1

Available:
Copies:

13.

The Real Numbers An Introduction to Set Theory and Analysis

Author

Stillwell, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332876.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-01577-4

Format:

Availability

Online Library~1

Available:
Copies:

14.

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:

15.

On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2

Author

Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334018.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35644-5

Format:

Availability

Online Library~1

Available:
Copies:

16.

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:

17.

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:

18.

An Invitation to Abstract Mathematics

Author

Bajnok, Béla. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332077.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6636-9

Format:

Availability

Online Library~1

Available:
Copies:

19.

The Mathematics of Paul Erdős II

Author

Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332243.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-7254-4

Format:

Availability

Online Library~1

Available:
Copies:

20.

Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion

Author

Hinkis, Arie. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332605.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-0348-0224-6

Format:

Availability

Online Library~1

Available:
Copies:

21.

Towards a General Theory of Classifications

Author

Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332639.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-0348-0609-1

Format:

Availability

Online Library~1

Available:
Copies:

22.

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

Author

Pudlák, Pavel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332681.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-00119-7

Format:

Availability

Online Library~1

Available:
Copies:

23.

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

Author

Paule, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332822.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-00966-7

Format:

Availability

Online Library~1

Available:
Copies:

24.

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:

25.

Belief Revision in Non-Classical Logics

Author

Ribeiro, Márcio Moretto. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330925.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4186-0

Format:

Availability

Online Library~1

Available:
Copies:

26.

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz

Author

Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330942.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4282-9

Format:

Availability

Online Library~1

Available:
Copies:

27.

A Logical Introduction to Proof

Author

Cunningham, Daniel W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331358.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-3631-7

Format:

Availability

Online Library~1

Available:
Copies:

28.

Stochastic Calculus with Infinitesimals

Author

Herzberg, Frederik. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333673.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

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:

30.

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Author

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334038.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

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:

	{displayName}	{count}
{error}