Shortcuts
SISSA Library . Default .
PageMenu- Main Menu-
Page content

Browse Shelf



- -


- Arithmetices principia, principi di geometria e di logica Odifreddi, Piergiorgio 1950- Arithmetices principia, principi di geometria e di logica510.6 PEA 1 -
Title: Arithmetices principia, principi di geometria e di logica
Author: Odifreddi, Piergiorgio 1950-
Year: 2001-2002
Collections: General.
- Introduzione alla teoria dei modelli e alla metamatematica dell' algebra Robinson, Abraham 510.6 ROB 2 -
Title: Introduzione alla teoria dei modelli e alla metamatematica dell' algebra
Author: Robinson, Abraham
Year: 1974
Collections: General.
- Simplified independence proofs: Boolean valued models of set theory Rosser, John Barkley 1907- 510.6 ROS 3 -
Title: Simplified independence proofs: Boolean valued models of set theory
Author: Rosser, John Barkley 1907-
Year: 1969
Collections: General.
- La mente e l'infinito: scienza e filosofia dell'infinito Rucker, Rudy 1946- La mente e l'infinito: scienza e filosofia dell'infinito510.6 RUC 4 -
Title: La mente e l'infinito: scienza e filosofia dell'infinito
Author: Rucker, Rudy 1946-
Year: 2013
Collections: General.
- Logica matematica Shoenfield, Joseph Robert 510.6 SHO 5 -
Title: Logica matematica
Author: Shoenfield, Joseph Robert
Year: 1980
Collections: General.
- First-order logic Smullyan, Raymond M. First-order logic510.6 SMU 6 -
Title: First-order logic
Author: Smullyan, Raymond M.
Year: 1995
Collections: General.
- Logiques pour l' intelligence artificielle Turner, Raymond 1947- Logiques pour l' intelligence artificielle510.6 TUR 7 -
Title: Logiques pour l' intelligence artificielle
Author: Turner, Raymond 1947-
Year: 1986
Collections: General.
- The principles of inductive logic Venn, John 1834-1923 The principles of inductive logic510.6 VEN 8 -
Title: The principles of inductive logic
Author: Venn, John 1834-1923
Year: 1973
Collections: General.
- Introducao a logica matematica: Instituto de Matematica Pura e Aplicada, 1973 Zimbarg, Jacob 510.6 ZIM 9 -
Title: Introducao a logica matematica: Instituto de Matematica Pura e Aplicada, 1973
Author: Zimbarg, Jacob
Year: 1973
Collections: General.
- Approximation theorems in commutative algebra: classical and categorical methods Alajbegovic, Jusuf H. 1951 - Approximation theorems in commutative algebra: classical and categorical methods512.5 ALA 10 -
Title: Approximation theorems in commutative algebra: classical and categorical methods
Author: Alajbegovic, Jusuf H. 1951 -
Year: 1992
Collections: General.


- -


Quick Search