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

Browse Shelf





- Aspects of mathematical logic [lectures of] Centro Internazionale Matematico Estivo (C.I.M.E.), III ciclo, Varenna, 9-17 settembre 1968 Centro Internazionale Matematico Estivo 1968 510.6 CIME 1968 1 -
Title: Aspects of mathematical logic [lectures of] Centro Internazionale Matematico Estivo (C.I.M.E.), III ciclo, Varenna, 9-17 settembre 1968
Author: Centro Internazionale Matematico Estivo 1968
Year: 1969
Collections: General.
- Model theory and applications [lecture notes of] Centro Internazionale Matematico Estivo (C.I.M.E.), II ciclo, Bressanone, 20-28 giugno 1975 Centro Internazionale Matematico Estivo 1975 510.6 CIME 1975 2 -
Title: Model theory and applications [lecture notes of] Centro Internazionale Matematico Estivo (C.I.M.E.), II ciclo, Bressanone, 20-28 giugno 1975
Author: Centro Internazionale Matematico Estivo 1975
Year: 1975
Collections: General.
- Recursion theory and computational complexity: 1. cicolo 1979 : Casa della Gioventu' Universitaria, Bressanone, 14-23 giugno 1979 Recursion theory and computational complexity: 1. cicolo 1979 : Casa della Gioventu' Universitaria, Bressanone, 14-23 giugno 1979510.6 CIME 1979 3 -
Title: Recursion theory and computational complexity: 1. cicolo 1979 : Casa della Gioventu' Universitaria, Bressanone, 14-23 giugno 1979
Author:
Year: 1981
Collections: General.
- An introduction to independence for analysts Dales, Harold G. 1944- An introduction to independence for analysts510.6 DAL 4 -
Title: An introduction to independence for analysts
Author: Dales, Harold G. 1944-
Year: 1987
Collections: General.
- Computability & unsolvability Davis, Martin 1928- Computability & unsolvability510.6 DAV 5 -
Title: Computability & unsolvability
Author: Davis, Martin 1928-
Year: 1982
Collections: General.
- A profile of mathematical logic DeLong, Howard 1936- A profile of mathematical logic510.6 DEL 6 -
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 I fondamenti della matematica nel logicismo di Bertrand Russell510.6 DON 7 -
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. Mathematical structures for computer science510.6 GER 8 -
Title: Mathematical structures for computer science
Author: Gersting, Judith L.
Year: 1982
Collections: General.
- Mathematical structures for computer science Gersting, Judith L. Mathematical structures for computer science510.6 GER 3rd ed. 9 -
Title: Mathematical structures for computer science
Author: Gersting, Judith L.
Year: 1993
Collections: General.
- Algebraic logic Gindikin, S. G. (Semen Grigorevich) Algebraic logic510.6 GIN 10 -
Title: Algebraic logic
Author: Gindikin, S. G. (Semen Grigorevich)
Year: 1985
Collections: General.




Quick Search