Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 58; Issue 3

Main
Journal of Symbolic Logic
Volume 58; Issue 3

Journal of Symbolic Logic

Volume 58; Issue 3

1

Reducts of Some Structures Over the Reals

Ya'acov Peterzil

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 1.05 MB

english, 1993

2

Undecidability of Modal and Intermediate First-Order Logics with Two Individual Variables

D. M. Gabbay and V. B. Shehtman

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 1.35 MB

english, 1993

3

Elementary Categories, Elementary Toposesby Colin McLarty

Review by: J. L. Bell

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 310 KB

english, 1993

4

Constructivity in Computer Science: A Summer Symposium

J. Paul Myers, Jr.

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 175 KB

english, 1993

5

The Well-Foundedness of the Mitchell Order

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 851 KB

english, 1993

6

Poizat Bruno. Corns de théorie des modèles. Une introduction à la logique mathématique contemporaine. Nur al-Mantiq wal-Ma’rifah, Villeurbanne 1985, vi + 584 pp.

Palyutin, E. A.

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 336 KB

english, 1993

7

Random models and solvable Skolem classes

Goldfarb, Warren

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 606 KB

english, 1993

8

JSL volume 58 issue 3 Cover and Front matter

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 8.50 MB

english, 1993

9

Axioms for the Set-Theoretic Hierarchyby James Van Aken;More Axioms for the Set-Theoretic Hierarchyby Stephen Pollard;Sets. An Introductionby Michael D. Potter

Review by: Vann McGee

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 343 KB

english, 1993

10

Feferman Solomon. Weyl vindicated: “Das Kontinuum” 70 years later. Atti del congresso, Temi e prospettive della logica e della filosofia della scienza contemporanee, Organizzato dalla Società Italiana di Logica e Filosofia delle Scienze (SILFS), Cesena, 7–10 gennaio 1987, Volume I, Logica, edited by Cellucci Carlo and Sambin Giovanni, CLUEB, Bologna 1988, pp. 59–93.

Longo, Giuseppe

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 352 KB

english, 1993

11

Logic at Tver '92

Nerode, Anil, Taitslin, M.

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 209 KB

english, 1993

12

Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus

Henk Barendregt, Martin Bunder and Wil Dekkers

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 1001 KB

english, 1993

13

Uniqueness of Normal Proofs of Minimal Formulas

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 684 KB

english, 1993

14

Spring meeting of the Association for Symbolic Logic

Simpson, Stephen G.

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 344 KB

english, 1993

15

Quasi-endomorphisms in small stable groups

Wagner, Frank O.

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 609 KB

english, 1993

16

Constructivity in computer science: A summer symposium

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 213 KB

english, 1993

17

A transfer theorem for Henselian valued and ordered fields

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 960 KB

english, 1993

18

Shelah S.. Classification theory and the number of non-isomorphic models. Revised edition of XLVII 694. Studies in logic and the foundations of mathematics, vol. 92. North-Holland, Amsterdam etc. 1990, xxxiv + 705 pp.

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 494 KB

english, 1993

19

Fourth European summer school in logic, language, and information

van der Linden, H. J. B. M.

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 208 KB

english, 1993

20

Working below a high recursively enumerable degree

Shore, Richard A., Slaman, Theodore A.

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 2.66 MB

english, 1993

21

Rockingham Gill R. R.. Deducibility and decidability. Routledge, London and New York 1990, viii + 162 pp.

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 417 KB

english, 1993

22

Logical methods in mathematics and computer science: A symposium in honor of Anil Nerode's sixtieth birthday

Shore, Richard A.

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 253 KB

english, 1993

23

Partitions of products

Di Prisco, Carlos A., Henle, James M.

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 605 KB

english, 1993

24

Notices

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 320 KB

english, 1993

25

Brewka Gerhard. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge tracts in theoretical computer science, no. 12. Cambridge University Press, Cambridge etc. 1991, xiii + 168 pp.

Herre, Heinrich

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 333 KB

english, 1993

26

Amenable versus hyperfinite Borel equivalence relations

Kechris, Alexander S.

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 1.00 MB

english, 1993

27

Trees and -subsets of ω1ω1

Mekler, Alan, Väänänen, Jouko

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 1.18 MB

english, 1993

28

Logic, sheaves, and factorization systems

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 1.29 MB

english, 1993

29

Variations on a game of Gale (I): Coding strategies

Scheepers, Marion

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 593 KB

english, 1993

30

JSL volume 58 issue 3 Cover and Back matter

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 8.64 MB

english, 1993

31

Derivation rules as anti-axioms in modal logic

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 2.00 MB

english, 1993

32

European summer meeting of the Association for Symbolic Logic

Csirmaz, László

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 3.63 MB

english, 1993

33

Devlin Keith. Logic and information. Cambridge University Press, Cambridge etc. 1991, xii + 308 pp.

Humberstone, I. L.

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 427 KB

english, 1993

34

Dummett Michael. The logical basis of metaphysics. Harvard University Press, Cambridge, Mass., 1991, xi + 355 pp.

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 527 KB

english, 1993

35

Spring Meeting of the Association for Symbolic Logic

Stephen G. Simpson

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 365 KB

english, 1993

36

Logical Methods in Mathematics and Computer Science: A Symposium in Honor of Anil Nerode's Sixtieth Birthday

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 254 KB

english, 1993

37

Front Matter

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 252 KB

english, 1993

38

Generic Copies of Countable Structuresby Chris Ash; Julia Knight; Mark Manasse; Theodore Slaman

Review by: Ivan N. Soskov

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 336 KB

english, 1993

39

Logic at Tver '92

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 181 KB

english, 1993

40

Notices

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 370 KB

english, 1993

41

▵¹₃-Stability

Dror Ben-Arié and Haim Judah

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 1.14 MB

english, 1993

42

The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems

Alexander Chagrov and Michael Zakharyaschev

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 2.55 MB

english, 1993

43

Back Matter

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 285 KB

english, 1993