Your search returned 6 results.

|
1. Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy / edited by Petr Hájek.

by Gödel '96 (1996 : Brno, Czech Republic) | Hájek, Petr [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016Online access: Click here to access online Availability: No items available
2. Intensionality / edited by Reinhard Kähle.

by Kahle, Reinhard, 1967- [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016Online access: Click here to access online Availability: No items available
3. Reflections on the foundations of mathematics : essays in honor of Solomon Feferman / edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott.

by Sieg, Wilfried, 1945- [editor.] | Sommer, Richard, 1961- [editor.] | Talcott, Carolyn [editor.] | Feferman, Solomon [honoree.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016Online access: Click here to access online Availability: No items available
4. Set theory, arithmetic, and foundations of mathematics : theorems, philosophies / edited by Juliette Kennedy, Roman Kossak.

by Kennedy, Juliette, 1955- [editor.] | Kossak, Roman, 1953- [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2011Other title: Set Theory, Arithmetic, & Foundations of Mathematics.Online access: Click here to access online Availability: No items available
5. Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics / Robert Goldblatt.

by Goldblatt, Robert [author.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2011Other title: Quantifiers, Propositions & Identity.Online access: Click here to access online Availability: No items available
6. A framework for priority arguments / Manuel Lerman.

by Lerman, M. (Manuel), 1943- [author.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2010Online access: Click here to access online Availability: No items available
Not finding what you're looking for?

ეროვნული სამეცნიერო ბიბლიოთეკა 2010 - 2019

გაუგზავნე შეკითხვა ან მოთხოვნა ბიბლიოთეკას