Sie befinden sich hier: > Search Advanced > Systemnachricht > Login Verification Regalbrowser

Regalbrowser

- Vorheriges Regal Top Nächstes RegalTop-

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

Titel: An introduction to independence for analysts
Verfasser: Dales, Harold G. 1944-
Jahr: 1987
Literaturabteilungen: General.

- Computability & unsolvability Davis, Martin 1928-

510.6 DAV 2 -

Titel: Computability & unsolvability
Verfasser: Davis, Martin 1928-
Jahr: 1982
Literaturabteilungen: General.

- A profile of mathematical logic DeLong, Howard 1936-

510.6 DEL 3 -

Titel: A profile of mathematical logic
Verfasser: DeLong, Howard 1936-
Jahr: 1970
Literaturabteilungen: General.

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

510.6 DON 4 -

Titel: I fondamenti della matematica nel logicismo di Bertrand Russell
Verfasser: Donati, Stefano
Jahr: 2003
Literaturabteilungen: General.

- Mathematical structures for computer science Gersting, Judith L.

510.6 GER 5 -

Titel: Mathematical structures for computer science
Verfasser: Gersting, Judith L.
Jahr: 1982
Literaturabteilungen: General.

- Mathematical structures for computer science Gersting, Judith L.

510.6 GER 3rd ed. 6 -

Titel: Mathematical structures for computer science
Verfasser: Gersting, Judith L.
Jahr: 1993
Literaturabteilungen: General.

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

510.6 GIN 7 -

Titel: Algebraic logic
Verfasser: Gindikin, S. G. (Semen Grigorevich)
Jahr: 1985
Literaturabteilungen: General.

- Algebraic logic Halmos, Paul Richard 1916-2006

510.6 HAL 8 -

Titel: Algebraic logic
Verfasser: Halmos, Paul Richard 1916-2006
Jahr: 1962
Literaturabteilungen: General.

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

510.6 HER 9 -

Titel: Enumerabilità, decidibilità, computabilità: introduzione alla teoria delle funzioni ricorsive
Verfasser: Hermes, Hans
Jahr: 1975
Literaturabteilungen: General.

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

510.6 HEU 10 -

Titel: Categorical quantum models and logics /
Verfasser: Heunen, Christian Johan Marie 1982-
Jahr: 2010
Literaturabteilungen: General.

- Vorheriges Regal Bottom Nächstes RegalBottom-