Volume 53; Issue 4

Main
Journal of Symbolic Logic
Volume 53; Issue 4

Journal of Symbolic Logic

Volume 53; Issue 4

1

Computational Limitations of Small-Depth Circuitsby Johan Håstad

Review by: Stuart A. Kurtz

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 106 KB

english, 1988

2

Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987

R. A. Girle and I. C. Hinckfuss

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 128 KB

english, 1988

3

A Basis Result in Combinatory Logic

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 100 KB

english, 1988

4

Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.25 MB

english, 1988

5

Ultrapowers Without the Axiom of Choice

Mitchell Spector

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 296 KB

english, 1988

6

Meeting of the Association for Symbolic Logic: New York City, May 1987

Martin Davis and Rohit Parikh

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 164 KB

english, 1988

7

On the Use of Inaccessible Numbers and Order Indiscernibles in Lower Bound Arguments for Random Access Machines

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 281 KB

english, 1988

8

Constructive Validity is Nonarithmetic

Charles McCarty

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 159 KB

english, 1988

9

On the Structure of Semialgebraic Sets Over p-Adic Fields

Scowcroft, Philip, van den Dries, Lou

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 537 KB

english, 1988

10

Logic and Linguistics Meeting, Stanford, 1987

K. Jon Barwise and Richmond H. Thomason

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 252 KB

english, 1988

11

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 102 KB

english, 1988

12

The false assumption underlying berry's paradox

French, James D.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 380 KB

english, 1988

13

Degree theoretical splitting properties of recursively enumerable sets

Ambos-Spies, Klaus, Fejer, Peter A.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.83 MB

english, 1988

14

JSL volume 53 issue 4 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 7.46 MB

english, 1988

15

Logic and linguistics meeting, Stanford, 1987

Barwise, K. Jon, Thomason, Richmond H.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 704 KB

english, 1988

16

Provability of the pigeonhole principle and the existence of infinitely many primes

Paris, J. B., Wilkie, A. J., Woods, A. R.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 615 KB

english, 1988

17

Annual meeting of the Association for Symbolic Logic, New York City, December 1987

Goodman, Nicholas, Hodes, Harold T., Jockusch, Carl G., McAloon, Kenneth

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

18

Formal languages defined by the underlying structure of their words

Ressayre, J. P.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.25 MB

english, 1988

19

Constructive validity is nonarithmetic

McCarty, Charles

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 447 KB

english, 1988

20

On universal semiregular invariant measures

Zakrzewski, Piotr

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 529 KB

english, 1988

21

Markov's principle, isols and Dedekind finite sets

McCarty, Charles

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.66 MB

english, 1988

22

Tourlakis George J.. Computabitity. Reston Publishing Company, Reston, Va., 1984, x + 566 pp.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 435 KB

english, 1988

23

Meeting of the Association for Symbolic Logic, New York City, May 1987

Davis, Martin, Parikh, Rohit

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 497 KB

english, 1988

24

Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 277 KB

english, 1988

25

On the use of inaccessible numbers and order indiscernibles in lower bound arguments for random access machines

Maass, Wolfgang

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 922 KB

english, 1988

26

Fine Kit. First-order modal theories I—sets. Noûs, vol. 15 (1981), pp. 177–205.Fine Kit. First-order modal theories. Studia logica, vol. 39 (1980), pp. 159–202.Fine Kit. First-order modal theories III—facts. Synthese, vol. 53 (1982), pp. 43–122.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 831 KB

english, 1988

27

Rucker Rudy. Mind tools. The five levels of mathematical reality. Houghton Mifflin Company, Boston 1987, viii + 328 pp.

Smullyan, Raymond M.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 349 KB

english, 1988

28

On parameter free induction schemas

Kaye, R., Paris, J., Dimitracopoulos, C.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 921 KB

english, 1988

29

Mechanical learners pay a price for Bayesianism

Osherson, Daniel N., Stob, Michael, Weinstein, Scott

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 497 KB

english, 1988

30

Hailperin Theodore. Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. Second revised and enlarged edition of L 851. Studies in logic and the foundations of mathematics, vol. 85. North-Holland, Amsterdam, New York, etc., 1986, xii + 428 pp.

Gridgeman, N. T.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 337 KB

english, 1988

31

Indécidabilité de corps de séries formelles

Delon, Françoise, Rouani, Yamina

Journal:

Journal of Symbolic Logic

Year:

1988

File:

PDF, 544 KB

1988

32

Definability and initial segments of c-degrees

Lubarsky, Robert S.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 954 KB

english, 1988

33

Australasian Association for Logic, annual conference, Brisbane, 1987

Girle, R. A., Hinckfuss, I. C.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 370 KB

english, 1988

34

A basis result in combinatory logic

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 271 KB

english, 1988

35

Institutional Members 1988

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 183 KB

english, 1988

36

On the validity of hilbert's nullstellensatz, artin's theorem, and related results in grothendieck toposes

MacCaull, W. A.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 792 KB

english, 1988

37

Ultrapowers without the axiom of choice

Spector, Mitchell

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 931 KB

english, 1988

38

Maslov S. Yu.. Theory of deductive systems and its applications. English translation by Gelfond Michael and Lifschitz Vladimir of Téoriá déduktivnyh sistém i éé priménéniá. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1987, x + 151 pp.

Dougherty, Daniel J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 337 KB

english, 1988

39

Wos Larry. Automated reasoning: 33 basic research problems. Prentice Hall, Englewood Cliffs, N.J., 1988, xiii + 319 pp.

Farmer, William M.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 341 KB

english, 1988

40

JSL volume 53 issue 4 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 7.10 MB

english, 1988

41

Notices

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 298 KB

english, 1988

42

Sheaves of continuous definable functions

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 474 KB

english, 1988

43

Fitting Melvin. Computability theory, semantics, and logic programming. Oxford logic guides, no. 13. Clarendon Press, Oxford University Press, Oxford and New York 1987, xi + 198 pp.

Shepherdson, J. C.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 242 KB

english, 1988

44

Individual Members 1988

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 2.68 MB

english, 1988

45

Håstad Johan. Computational limitations of small-depth circuits. ACM doctoral dissertation awards. The MIT Press, Cambridge, Mass., and London, 1987, xiii + 84 pp.

Kurtz, Stuart A.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 340 KB

english, 1988

46

Souslin forcing

Ihoda, Jaime I., Shelah, Saharon

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.12 MB

english, 1988

47

Some properties of large filters

Freiling, Chris, Payne, T. H.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 685 KB

english, 1988

48

Coffa Alberto. Carnap, Tarski and the search for truth. Noûs, vol. 21 (1987), pp. 547–572.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 319 KB

english, 1988

49

Formal Languages Defined by the Underlying Structure of their Words

Ressayre, J. P.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 407 KB

english, 1988

50

Definability and Initial Segments of c-Degrees

Robert S. Lubarsky

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 322 KB

english, 1988

51

Computabilityby George J. Tourlakis

Review by: Ann Yasuhara

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 145 KB

english, 1988

52

Indécidabilité de Corps de Séries Formelles

Françoise Delon and Yamina Rouani

Journal:

Journal of Symbolic Logic

Year:

1988

File:

PDF, 223 KB

1988

53

On Universal Semiregular Invariant Measures

Piotr Zakrzewski

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 224 KB

english, 1988

54

Degree Theoretical Splitting Properties of Recursively Enumerable Sets

Klaus Ambos-Spies and Peter A. Fejer

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 609 KB

english, 1988

55

Sheaves of Continuous Definable Functions

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 198 KB

english, 1988

56

Automated Reasoning: 33 Basic Research Problemsby Larry Wos

Review by: William M. Farmer

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 129 KB

english, 1988

57

Carnap, Tarski and the Search for Truthby Alberto Coffa

Review by: Gary Mar

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 127 KB

english, 1988

58

First-Order Modal Theories I--Setsby Kit Fine;First-Order Modal Theoriesby Kit Fine;First-Order Modal Theories III--Factsby Kit Fine

Review by: F. W. Kroon

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 255 KB

english, 1988

59

Some Properties of Large Filters

Chris Freiling and T. H. Payne

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 252 KB

english, 1988

60

Mind Tools. The Five Levels of Mathematical Realityby Rudy Rucker

Review by: Raymond M. Smullyan

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 129 KB

english, 1988

61

Mechanical Learners Pay a Price for Bayesianism

Daniel N. Osherson, Michael Stob and Scott Weinstein

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 209 KB

english, 1988

62

Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes

J. B. Paris, A. J. Wilkie and A. R. Woods

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 262 KB

english, 1988

63

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 123 KB

english, 1988

64

Computability Theory, Semantics, and Logic Programmingby Melvin Fitting

Review by: J. C. Shepherdson

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 104 KB

english, 1988

65

Theory of Deductive Systems and its Applicationsby S. Yu Maslov; Michael Gelfond; Vladimir Lifschitz

Review by: Daniel J. Dougherty

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 131 KB

english, 1988

66

Foundations of Infinitesimal Stochastic Analysisby K. D. Stroyan; José Manuel Bayod

Review by: Nigel Cutland

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 130 KB

english, 1988

67

Annual Meeting of the Association for Symbolic Logic, New York City, December 1987

Nicholas Goodman, Harold T. Hodes, Carl G. Jockusch, Jr. and Kenneth McAloon

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 389 KB

english, 1988

68

Souslin Forcing

Jaime I. Ihoda and Saharon Shelah

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 470 KB

english, 1988

69

Boole's Logic and Probability. A Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theoryby Theodore Hailperin

Review by: N. T. Gridgeman

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 129 KB

english, 1988

70

Notices

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 128 KB

english, 1988

71

Markov's Principle, Isols and Dedekind Finite Sets

Charles McCarty

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 592 KB

english, 1988

72

On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 377 KB

english, 1988

73

On the structure of semialgebraic sets over p-adic fields

Scowcroft, Philip, van den Dries, Lou

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.59 MB

english, 1988

74

Maslov S. Ú.. Téoriá déduktivnyh sistém i éé priménéniá. Russian original of the preceding. Kibérnétika. Radio i Savz', Moscow 1986, 135 pp.Stroyan K. D. and Bayod José Manuel. Foundations of infinitesimal stochastic analysis. Studies in logic and the foundations of mathematics, vol. 119. North-Holland, Amsterdam, New York, and Oxford, 1986, xii + 478 pp.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 179 KB

english, 1988

75

The False Assumption Underlying Berry's Paradox

James D. French

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 215 KB

english, 1988

76

On Parameter Free Induction Schemas

R. Kaye, J. Paris and C. Dimitracopoulos

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 447 KB

english, 1988

77

Volume Information

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 238 KB

english, 1988

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