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-

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

510.6 GIN 1 -

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

- Algebraic logic Halmos, Paul Richard 1916-2006

510.6 HAL 2 -

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 3 -

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 4 -

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

- Principles of mathematical logic Hilbert, David 1862-1943

510.6 HIL 5 -

Title: Principles of mathematical logic
Author: Hilbert, David 1862-1943
Year: 1950
Collections: General.

- Introduzione alla logica combinatoria Hindley, James Roger

510.6 HIN 6 -

Title: Introduzione alla logica combinatoria
Author: Hindley, James Roger
Year: 1975
Collections: General.

- Building models by games Hodges, Wilfrid

510.6 HOD 7 -

Title: Building models by games
Author: Hodges, Wilfrid
Year: 1985
Collections: General.

- Goedel' s theorems: a workbook on formalization Huber-Dyson, Verena

510.6 HUB 8 -

Title: Goedel' s theorems: a workbook on formalization
Author: Huber-Dyson, Verena
Year: 1991
Collections: General.

- Formal logic: its scope and limits Jeffrey, Richard C.

510.6 JEF 9 -

Title: Formal logic: its scope and limits
Author: Jeffrey, Richard C.
Year: 1981
Collections: General.

- Bounded arithmetic, propositional logic, and complexity theory Krajicek, Jan

510.6 KRA 10 -

Title: Bounded arithmetic, propositional logic, and complexity theory
Author: Krajicek, Jan
Year: 1995
Collections: General.

- Previous Shelf Bottom Next ShelfBottom-