Volume 59; Issue 2

Main
Journal of Symbolic Logic
Volume 59; Issue 2

Journal of Symbolic Logic

Volume 59; Issue 2

1

Abacus Logic: The Lattice of Quantum Propositions as the Poset of a Theory

Othman Qasim Malhas

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 1.20 MB

english, 1994

2

Machine Learning of Higher-Order Programs

Ganesh Baliga, John Case, Sanjay Jain and Mandayam Suraj

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 1.05 MB

english, 1994

3

Undecidable Semiassociative Relation Algebras

Roger D. Maddux

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 1.37 MB

english, 1994

4

Iterated Inductive Definitions and Subsystems of Analysisby Wilfried Buchholz; Wolfram Pohlers; Wilfried Sieg

Review by: Helmut Pfeiffer

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 406 KB

english, 1994

5

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 246 KB

english, 1994

6

On One-Based Theories

E. Bouscaren and E. Hrushovski

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 1.39 MB

english, 1994

7

A Constructive Proof of McNaughton's Theorem in Infinite-Valued Logic

Daniele Mundici

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 567 KB

english, 1994

8

A note on defining groups in stable structures

Wagner, Frank O.

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 401 KB

english, 1994

9

Games and full completeness for multiplicative linear logic

Abramsky, Samson, Jagadeesan, Radha

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 1.76 MB

english, 1994

10

About some symmetries of negation

Hösli, Brigitte, Jäger, Gerhard

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 823 KB

english, 1994

11

Regular Cardinals in Models of ZFby Moti Gitik

Review by: Thomas Jech

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 243 KB

english, 1994

12

A class of connected theories of order

Stern, Alan S., Świerczkowski, Stanisław S.

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 660 KB

english, 1994

13

JSL volume 59 issue 2 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 9.30 MB

english, 1994

14

Extender based forcings

Gitik, Moti, Magidor, Menachem

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 989 KB

english, 1994

15

Minimal upper bounds for arithmetical degrees

Kumabe, Masahiro

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 913 KB

english, 1994

16

The genericity conjecture

Friedman, Sy D.

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 683 KB

english, 1994

17

Extensions of Hilbert's tenth problem

Pheidas, Thanases

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 1.73 MB

english, 1994

18

Balzer Wolfgang, Moulines C. Ulises, and Sneed Joseph D.. An architectonic for science. The structuralist program. Synthese library, vol. 186. D. Reidel Publishing Company, Dordrecht etc. 1987, xxxvii + 431 pp.

da Costa, N. C. A.

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 424 KB

english, 1994

19

Full reflection at a measurable cardinal

Jech, Thomas, Witzany, Jiří

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 917 KB

english, 1994

20

Notices

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 401 KB

english, 1994

21

Questions of decidability and undecidability in Number Theory

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 1.24 MB

english, 1994

22

JSL volume 59 issue 2 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 9.72 MB

english, 1994

23

Natural internal forcing schemata extending ZFC: Truth in the universe?

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 789 KB

english, 1994

24

Nye Andrea. Words of power. A feminist reading of the history of logic. Thinking gender. Routledge, New York and London 1990, xiii + 190 pp.

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 479 KB

english, 1994

25

Meager nowhere-dense games (IV): n-tactics (continued)

Scheepers, Marion

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 333 KB

english, 1994

26

IX Latin American Symposium on Mathematical Logic, Bahía Blanca, 1992

Jones, C. H., Bolken, T. C., Jones, K. F., Zeller, G. O., Hruby, D. E.

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 1.05 MB

english, 1994

27

Ideals of nowhere Ramsey sets are isomorphic

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 490 KB

english, 1994

28

The lattice of varieties of representable relation algebras

Andréka, Hajnal, Givant, Steven, Németi, István

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 1.77 MB

english, 1994

29

Annual meeting of the Association for Symbolic Logic, Notre Dame, 1993

Buechler, Steven

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 1.67 MB

english, 1994

30

Interpolation in fragments of classical linear logic

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 1.40 MB

english, 1994

31

Dijkstra Edsger W. and Scholten Carel S.. Predicate calculus and program semantics. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1990, xi + 220 pp.

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 718 KB

english, 1994

32

The Fifth Asian Logic Conference, Singapore, 1993

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 297 KB

english, 1994

33

Notices: The Bulletin of Symbolic Logic: Call for Papers

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 406 KB

english, 1994

34

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 228 KB

english, 1994

35

Mathematical Logic: Applications and Theoryby Jean E. Rubin

Review by: Walter Felscher

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 339 KB

english, 1994

36

Normality of a Filter Over a Space of Partitions

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 439 KB

english, 1994

37

Winter Meeting of the Association for Symbolic Logic: San Antonio, 1993

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 894 KB

english, 1994

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Tor version

Z-Library

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски