PageMenu- Main Menu-

Simple Search .
Advanced Search .
Journal Search .
Refine Search Results .
Preferences .
Search Menu
- Simple Search .
- Advanced Search .
- New Items Search .
- Journal Search .
- Refine Search Results .
Bottom Menu
- Help
- Italian .
- English .
- German .
New Item Menu
- New Items Search .
- New Items List .
Links
© LIBERO v6.4.1sp220816

You are here: Browse Shelf

Browse Shelf

- Previous Shelf Top Next ShelfTop-

- An introduction to independence for analysts Dales, Harold G. 1944-

510.6 DAL 1 -

Title: An introduction to independence for analysts
Author: Dales, Harold G. 1944-
Year: 1987
Collections: General.

- Computability & unsolvability Davis, Martin 1928-

510.6 DAV 2 -

Title: Computability & unsolvability
Author: Davis, Martin 1928-
Year: 1982
Collections: General.

- A profile of mathematical logic DeLong, Howard 1936-

510.6 DEL 3 -

Title: A profile of mathematical logic
Author: DeLong, Howard 1936-
Year: 1970
Collections: General.

- I fondamenti della matematica nel logicismo di Bertrand Russell Donati, Stefano

510.6 DON 4 -

Title: I fondamenti della matematica nel logicismo di Bertrand Russell
Author: Donati, Stefano
Year: 2003
Collections: General.

- Mathematical structures for computer science Gersting, Judith L.

510.6 GER 5 -

Title: Mathematical structures for computer science
Author: Gersting, Judith L.
Year: 1982
Collections: General.

- Mathematical structures for computer science Gersting, Judith L.

510.6 GER 3rd ed. 6 -

Title: Mathematical structures for computer science
Author: Gersting, Judith L.
Year: 1993
Collections: General.

- Algebraic logic Gindikin, S. G. (Semen Grigorevich)

510.6 GIN 7 -

Title: Algebraic logic
Author: Gindikin, S. G. (Semen Grigorevich)
Year: 1985
Collections: General.

- Algebraic logic Halmos, Paul Richard 1916-2006

510.6 HAL 8 -

Title: Algebraic logic
Author: Halmos, Paul Richard 1916-2006
Year: 1962
Collections: General.

- Enumerabilità, decidibilità, computabilità: introduzione alla teoria delle funzioni ricorsive Hermes, Hans

510.6 HER 9 -

Title: Enumerabilità, decidibilità, computabilità: introduzione alla teoria delle funzioni ricorsive
Author: Hermes, Hans
Year: 1975
Collections: General.

- Categorical quantum models and logics / Heunen, Christian Johan Marie 1982-

510.6 HEU 10 -

Title: Categorical quantum models and logics /
Author: Heunen, Christian Johan Marie 1982-
Year: 2010
Collections: General.

- Previous Shelf Bottom Next ShelfBottom-