Výsledky vyhledávání - "H. B. Enderton"

Knihovna AV ČR, v. v. i.

Odhlásit
Přihlášení
Jazyk
- English
- Čeština
Instituce

Pokročilé vyhledávání

Zahrnout EIZ

Zachovat současné nastavení filtrů

EXPAND:"fulltext"

Domovská stránka
Vyhledávání: "H. B. Enderton"
Navrhnout nákup titulu

Zobrazeno 1 - 10 of 52 pro vyhledávání: '"H. B. Enderton"'

Řazení

Vybrat vše | Vybrané výsledky:

Vybrat výsledek číslo 1 1

Solvability, provability, definability: the collected works of Emil L. Post, edited by Davis Martin, Contemporary mathematicians, Birkhäuser, Boston, Basel, and Berlin, 1994, xxviii + 554 pp

Autor: H. B. Enderton

Publikováno v: Journal of Symbolic Logic. 62:1046-1048

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::66852fea255a76471c191757c85bd4e8
https://doi.org/10.2307/2275591

Zobrazit plný text záznamu

Vybrat výsledek číslo 2 2

In Memoriam: Alonzo Church 1903–1995

Autor: H. B. Enderton

Publikováno v: Bulletin of Symbolic Logic. 1:486-488

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::5cfef8d4a19603dd7c14826b68d53a11
https://doi.org/10.1017/s1079898600008040

Zobrazit plný text záznamu

Vybrat výsledek číslo 3 3

Richard L. Epstein. Classical mathematical logic. The semantic foundations of logic. With contributions by Lesław W. Szczerba. Princeton University Press, Princeton and Oxford, 2006, xxii + 522 pp

Autor: H. B. Enderton

Publikováno v: Bulletin of Symbolic Logic. 13:540-541

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::0e9d05319dd0d4a002cb5133b253a079
https://doi.org/10.1017/s1079898600001967

Zobrazit plný text záznamu

Vybrat výsledek číslo 4 4

Martin Goldstern and Haim Judah, The incompleteness phenomenon, A new course in mathematical logic, A K Peters, Wellesley, Mass., 1995, xiii + 247 pp

Autor: H. B. Enderton

Publikováno v: Journal of Symbolic Logic. 64:1367-1368

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::324b8765d6bac50dd2599880041e585a
https://doi.org/10.2307/2586639

Zobrazit plný text záznamu

Vybrat výsledek číslo 5 5

Martin D. Davis, Ron Sigal, and Elaine J. Weyuker. Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing. Academic Press, Boston, San Diego, New York, etc., 1994, xix + 609 pp

Autor: H. B. Enderton

Publikováno v: Journal of Symbolic Logic. 61:703-704

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::e2c18e168ccae307ef7df97744292b62
https://doi.org/10.2307/2275691

Zobrazit plný text záznamu

Vybrat výsledek číslo 6 6

Keith Devlin. The joy of sets. Fundamentals of contemporary set theory. Second edition of XLVI419. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, x + 192 pp

Autor: H. B. Enderton

Publikováno v: Journal of Symbolic Logic. 59:1441-1442

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::84b391b383a927719c3e25c2ffd8e61e
https://doi.org/10.2307/2275721

Zobrazit plný text záznamu

Vybrat výsledek číslo 7 7

Anita Burdman Feferman. From Trotsky to Gödel. The life of Jean van Heijenoort. Paperbound reprint with altered title of JSL LVIII 1465. A K Peters, Natick, Mass., 2001, xv + 415 pp

Autor: H. B. Enderton

Publikováno v: Bulletin of Symbolic Logic. 8:104-104

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::69f83039f47d55a9eac35e839ab9095e
https://doi.org/10.2178/bsl/1182353862

Zobrazit plný text záznamu

Vybrat výsledek číslo 8 8

From Trotsky to Godel. The Life of Jean van Heijenoort

Autor: H. B. Enderton, Anita Burdman Feferman

Publikováno v: The Bulletin of Symbolic Logic. 8:104

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b8b6c344af40c07ea6537b03da7669b3
https://doi.org/10.2307/2687744

Zobrazit plný text záznamu

Vybrat výsledek číslo 9 9

Anita Burdman Feferman. Politics, logic, and love. The life of Jean van Heijenoort. Jones and Bartlett Publishers, Boston and London, and A K Peters, Wellesley, Mass., 1993, xv + 415 pp. - Solomon Feferman. Jean van Heijenoort's scholarly work, 1948–1986. Therein, pp. 371–390

Autor: H. B. Enderton

Publikováno v: Journal of Symbolic Logic. 58:1465-1466

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::bb869387e0398e5837211fae2334e0bf
https://doi.org/10.2307/2275157

Zobrazit plný text záznamu

Vybrat výsledek číslo 10 10

Patrick Suppes, Introduction to logic. A republication of XXII 353 Publications, Mineola, New York, 1999, xiv + 312 pp

Autor: H. B. Enderton

Publikováno v: Journal of Symbolic Logic. 64:1368-1368

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4afab697b6e45c27ed52f853a4b99d8f
https://doi.org/10.2307/2586640

Zobrazit plný text záznamu

Vybrat vše | Vybrané výsledky:

1
2
3
4
5
6
Další »
[6]

Vyhledávací nástroje:

RSS
Poslat e-mailem

Upřesnit hledání

Omezení vyhledávání

Plný text Recenzováno Digitální knihovna AV ČR

Zdroje

Pouze tištěné dokumenty

Zahrnout EIZ

47 cambridge university press (cup)
1 american mathematical society (ams)
1 defense technical information center
1 elsevier bv
1 institute of mathematics, polish academy of sciences
1 springer science and business media llc

39 journal of symbolic logic
4 the journal of symbolic logic
3 bulletin of symbolic logic
1 archiv fur mathematische logik und grundlagenforschung
1 fundamenta mathematicae
1 journal of computer and system sciences
1 the bulletin of symbolic logic
1 transactions of the american mathematical society

52 OpenAIRE

Od:

do:

Možnosti vyhledávání

Tematická mapa
Historie vyhledávání
Pokročilé vyhledávání

Objevte více

Abecední procházení

Hledáte pomoc?

Tipy pro vyhledávání

načítá se......