JuLib | Books & more - {"Amsterdam"}

Skip to content

VuFind

0 Items in e-Shelf (Full)
History
User Account
Logout
User Account
Help
- English
- Deutsch

Books & more
Articles & more
JuSER

Advanced

Reset Filters

Logic, Symbolic and mathematical.

Reset Filters

Show filters (1)

Logic, Symbolic and mathematical.

Ask a Librarian

Books & more: Hits 1 - 20 of 31

sort by

Select all titles on this page

Select result number 1

1

Alan Turing : his work and impact [E-Book] /

E-Book

Alan Turing : his work and impact [E-Book] /

Cooper, S. B.
2013

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Essays in the philosophy and history of logic and mathematics / [E-Book]

E-Book

Essays in the philosophy and history of logic and mathematics / [E-Book]

Murawski, Roman.
2010

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Logic and automata : history and perspectives [E-Book] /

E-Book

Logic and automata : history and perspectives [E-Book] /

Flum, Jörg.
2008

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Logic and the foundations of game and decision theory (LOFT 7) / [E-Book]

E-Book

Logic and the foundations of game and decision theory (LOFT 7) / [E-Book]

Bonanno, Giacomo.
2008

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Discovering patterns in mathematics and poetry / [E-Book]

E-Book

Discovering patterns in mathematics and poetry / [E-Book]

Birken, Marcia.
2008

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Andrzej Mostowski and foundational studies / [E-Book]

E-Book

Andrzej Mostowski and foundational studies / [E-Book]

Mostowski, Andrzej.
2008

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Handbook of the logic of argument and inference [E-Book] : the turn towards the practical /

E-Book

Handbook of the logic of argument and inference [E-Book] : the turn towards the practical /

Gabbay, Dov M.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Mathematical logic [E-Book] /

E-Book

Mathematical logic [E-Book] /

Turing, Alan Mathison
2001

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Handbook of logic and language [E-Book] /

E-Book

Handbook of logic and language [E-Book] /

Benthem, J. F. A. K. van
1997

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Admissibility of logical inference rules [E-Book] /

E-Book

Admissibility of logical inference rules [E-Book] /

Rybakov, Vladimir V.
1997

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Logical frameworks for truth and abstraction [E-Book] : an axiomatic study /

E-Book

Logical frameworks for truth and abstraction [E-Book] : an axiomatic study /

Cantini, Andrea.
1996

Full text Full text

Favorites

Saved in:

QR Code

Select result number 12

12

Computability, complexity, logic [E-Book] /

E-Book

Computability, complexity, logic [E-Book] /

Börger, E.
1989

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Logic-based decision support [E-Book] : mixed integer model formulation /

E-Book

Logic-based decision support [E-Book] : mixed integer model formulation /

Jeroslow, Robert G.
1989

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Logic colloquium '85 [E-Book] : proceedings of the colloquium held in Orsay, France July 1985 /

E-Book

Logic colloquium '85 [E-Book] : proceedings of the colloquium held in Orsay, France July 1985 /

1987

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Logic Colloquium '84 [E-Book] : proceedings of the colloquium held in Manchester, U.K., July 1984 /

E-Book

Logic Colloquium '84 [E-Book] : proceedings of the colloquium held in Manchester, U.K., July 1984 /

Paris, J. B.
1986

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Logic Colloquium '82 [E-Book] : proceedings of the colloquium held in Florence, 23-28 August, 1982 /

E-Book

Logic Colloquium '82 [E-Book] : proceedings of the colloquium held in Florence, 23-28 August, 1982 /

Lolli, Gabriele
1984

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Logic Colloquium '80 [E-Book] : papers intended for the European summer meeting of the Association for Symbolic Logic /

E-Book

Logic Colloquium '80 [E-Book] : papers intended for the European summer meeting of the Association for Symbolic Logic /

Dalen, D. van
1982

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Foundational studies [E-Book] : selected works. Volume II /

E-Book

Foundational studies [E-Book] : selected works. Volume II /

Mostowski, Andrzej.
1979

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

Foundational studies [E-Book] : selected works. Volume I /

E-Book

Foundational studies [E-Book] : selected works. Volume I /

Mostowski, Andrzej.
1979

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Handbook of mathematical logic [E-Book] /

E-Book

Handbook of mathematical logic [E-Book] /

Barwise, Jon.
1977

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

1
2
Next
[2]

Narrow Search Results

Electronic Edition 31

Handbook, Textbook 5 Conference Publication 5

From:

To:

Mostowski, Andrzej. 3 Gandy, R. O. 2 Kuratowski, Kazimierz 2 Ackermann, Wilhelm 1 Barwise, Jon. 1 Benthem, J. F. A. K. van 1 more ... Birken, Marcia. 1 Bonanno, Giacomo. 1 Börger, E. 1 Cantini, Andrea. 1 Coon, Anne Christine. 1 Cooper, S. B. 1 Crossley, John N. 1 Dalen, D. van 1 Ehrenfeucht, Andrzej. 1 Flum, Jörg. 1 Gabbay, Dov M. 1 Gallin, Daniel. 1 Gentzen, Gerhard. 1 Grädel, Erich 1 Heyting, A. 1 Jeroslow, Robert G. 1 Karp, Carol 1 Keisler, H. Jerome. 1 Kreisel, Georg. 1 Krivine, J. L. 1 Lascar, D. 1 Leeuwen, J. van 1 Lolli, Gabriele 1 Longo, G. 1 see all ... less ...

Logic, Symbolic and mathematical. Computational complexity. 2 Computer science 2 Mathematicians 2 Computable functions. 1 Decision making 1 more ... Decision support systems. 1 Decision theory. 1 Enigma cipher system. 1 Game theory. 1 Inference. 1 Intuitionistic mathematics. 1 Linguistics. 1 Logic 1 Logicians 1 Machine theory. 1 Mathematical analysis 1 Mathematics 1 Mathematics and literature. 1 Metamathematics. 1 Modality (Logic) 1 Natural language processing (Computer science) 1 Nonstandard mathematical analysis. 1 Pattern perception. 1 Poetics. 1 Recursive functions. 1 Semantics (Philosophy) 1 Semantics. 1 Set theory. 1 Truth. 1 see all ... less ...

English 31 French 1

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...