Volume 60; Issue 4

Main
Journal of Symbolic Logic
Volume 60; Issue 4

Journal of Symbolic Logic

Volume 60; Issue 4

1

Storage Operators and Directed Lambda-Calculus

René David and Karim Nour

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 609 KB

english, 1995

2

An Analogue of Hilbert's Tenth Problem for p-Adic Entire Functions

Leonard Lipshitz and Thanases Pheidas

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 192 KB

english, 1995

3

The Geometry of Forking and Groups of Finite Morley Rank

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 224 KB

english, 1995

4

Index of Reviews: Volumes 59-60

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 166 KB

english, 1995

5

Errata

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 65 KB

english, 1995

6

A Dichotomy for the Definable Universe

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 264 KB

english, 1995

7

Analytic equivalence relations and Ulm-type classifications

Hjorth, Greg, Kechris, Alexander S.

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 664 KB

english, 1995

8

Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis

Zlatan Damnjanovic

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 1.93 MB

english, 1995

9

Determinacy and the Sharp Function on Objects of Type k

Derrick Albert Dubose

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 1.68 MB

english, 1995

10

JSL Volume 60 issue 4 Cover and Back matter and Errata

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 9.42 MB

english, 1995

11

The undecidability of the Π4-theory for the r.e. wtt and Turing degrees

Lempp, Steffen, Nies, André

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 1.22 MB

english, 1995

12

The axiom of choice for well-ordered families and for families of well-orderable sets

Howard, Paul, Rubin, Jean E.

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 300 KB

english, 1995

13

Embeddability and the word problem

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 408 KB

english, 1995

14

The syntax and semantics of entailment in duality theory

Davey, B. A., Haviar, M., Priestley, H. A.

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 1.69 MB

english, 1995

15

Logic programming languages, constraints, functions, and objects, edited by Apt K. R., Bakker J. W. de, and Rutten J. J. M. M., Logic programming, The MIT Press, Cambridge, Mass., and London, 1993, xiv + 204 pp.

Schmitt, Peter H.

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 339 KB

english, 1995

16

Smullyan Raymond M.. Recursion theory for metamathematics. Oxford logic guides, no. 22. Oxford University Press, New York and Oxford 1993, xiv + 163 pp.

Odifreddi, Piergiorgio

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 426 KB

english, 1995

17

Manna Zohar and Waldinger Richard. The logical basis for computer programming. Volume I. Deductive reasoning. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1985, xii + 618 pp.Manna Zohar and Waldinger Richard. The logical basis for computer programming. Volume II. Deductive systems. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xiii + 642 pp.

Büning, Hans Kleine

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 338 KB

english, 1995

18

Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B

Hyttinen, Tapani, Shelah, Saharon

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 810 KB

english, 1995

19

Hellman Geoffrey. Mathematics without numbers. Towards a modal-structural interpretation. Clarendon Press, Oxford University Press, Oxford and New York 1989, xi + 154 pp.

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 425 KB

english, 1995

20

JSL Volume 60 issue 4 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 9.03 MB

english, 1995

21

Azzouni Jody. Metaphysical myths, mathematical practice. The ontology and epistemology of the exact sciences. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1994, ix + 249 pp.

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 435 KB

english, 1995

22

Amoeba reals

Judah, Haim, Repickẏ, Miroslav

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 1.09 MB

english, 1995

23

Comparing notions of similarity for uncountable models

Huuskonen, Taneli

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 1.03 MB

english, 1995

24

Hájek Petr and Pudlák Pavel. Metamathematics of first-order arithmetic. Perspectives in mathematical logic. Springer-Verlag, Berlin etc. 1993, xiv + 460 pp.

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 511 KB

english, 1995

25

Velleman Daniel J.. How to prove it. A structured approach. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1994, x + 309 pp.

Barrett, Jeffrey A.

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 272 KB

english, 1995

26

Index of reviews

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 506 KB

english, 1995

27

Uspensky Vladimir A.. Godel's incompleteness theorem. A reprint of LV 889 with minor corrections. Theoretical computer science, vol. 130 (1994), pp. 239–319.

Enderton, H. B.

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 247 KB

english, 1995

28

An induction principle and pigeonhole principles for K-finite sets

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 650 KB

english, 1995

29

The existence of finitely based lower covers for finitely based equational theories

Ježek, Jaroslav, McNulty, George F.

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 772 KB

english, 1995

30

Gupta Anil and Belnap Nuel. The revision theory of truth. Bradford books. The MIT Press, Cambridge, Mass., and London, 1993, xii + 299 pp.

Sheard, Michael

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 426 KB

english, 1995

31

Boolos George. The logic of provability. Cambridge University Press, Cambridge, New York, and Melbourne, 1993, xxxvi + 276 pp.

Artemov, Sergei N.

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 331 KB

english, 1995

32

A Reflection Principle and its Applications to Nonstandard Models

James H. Schmerl

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 412 KB

english, 1995

33

Volume Information

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 161 KB

english, 1995

34

Gödel's incompleteness theorems.by Raymond M. Sullyan

Review by: Vladimir A. Uspensky and Valery Ye. Plisko

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 209 KB

english, 1995

35

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 108 KB

english, 1995

36

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 128 KB

english, 1995

37

Gödel's incompleteness theorem.by Vladimir A. Uspensky

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 108 KB

english, 1995

38

A many-valued approach to deduction and reasoning for artificial intelligenceby Cary G. DeBessonet

Review by: Robert Stärk

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 131 KB

english, 1995

39

Smullyan Raymond M.. Gödel's incompleteness theorems. Oxford logic guides, no. 19. Oxford University Press, New York and Oxford 1992, xiii + 139 pp.

Uspensky, Vladimir A., Plisko, Valery Ye.

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 458 KB

english, 1995

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Български