Andre Scedrov | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?

FREYD'S MODELS FOR THE INDEPENDENCE OF THE AXIOM OF CHOICE

Tekijä: Andreas Blass; Andrej Scedrov
Kustantaja: American Mathematical Society (1989)
Saatavuus: Ei tiedossa

EUR 30,70

SOFTWARE SECURITY -- THEORIES AND SYSTEMS : MEXT-NSF-JSPS INTERNATIONAL SYMPOSIUM, ISSS 2002, TOKYO, JAPAN, NOVEMBER 8-10, 2002,

Tekijä: Mitsuhiro Okada (ed.); Benjamin Pierce (ed.); Andre Scedrov (ed.); Hideyuki Tokuda (ed.); Akinori Yonezawa (ed.)
Kustantaja: Springer (2003)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

LOGIC AND COMPUTER SCIENCE : LECTURES GIVEN AT THE 1ST SESSION OF THE CENTRO INTERNAZIONALE MATEMATICO ESTIVO (C.I.M.E.) HELD AT

Tekijä: Steven Homer; Piergiorgio Odifreddi (ed.); Anil Nerode; Richard A. Platek; Gerald E. Sacks; Andre Scedrov
Kustantaja: Springer (1990)
Saatavuus: Noin 17-20 arkipäivää

EUR 25,40

CATEGORIES IN COMPUTER SCIENCE AND LOGIC - JOINT SUMMER RESEARCH CONFERENCE IN THE MATHEMATICAL SCIENCES

Tekijä: John W. Gray; Andrej Scedrov
Kustantaja: American Mathematical Society (1989)
Saatavuus: Ei tiedossa

EUR 133,30

FORCING AND CLASSIFYING TOPOI

Tekijä: Andrej Scedrov
Kustantaja: American Mathematical Society (1984)
Saatavuus: Ei tiedossa

EUR 62,80

TOOLS AND METHODS OF PROGRAM ANALYSIS : 4TH INTERNATIONAL CONFERENCE, TMPA 2017, MOSCOW, RUSSIA, MARCH 3-4, 2017, REVISED SELECT

Tekijä: Vladimir Itsykson (ed.); Andre Scedrov (ed.); Victor Zakharov (ed.)
Kustantaja: Springer (2017)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION : 29TH INTERNATIONAL WORKSHOP, WOLLIC 2023, HALIFAX, NS, CANADA, JULY 11–14, 2023,

Tekijä: Helle Hvid Hansen (ed.); Andre Scedrov (ed.); Ruy J.G.B. de Queiroz (ed.)
Kustantaja: Springer (2023)
Saatavuus: Noin 17-20 arkipäivää

EUR 65,00

Freyd's Models for the Independence of the Axiom of Choice

Andreas Blass, Andrej Scedrov

30,70 €