Volume 37; Issue 2

Main
Journal of Symbolic Logic
Volume 37; Issue 2

Journal of Symbolic Logic

Volume 37; Issue 2

1

Which Number Theoretic Problems can be Solved in Recursive Progressions on Π 1/1-Paths Through O?

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 1.32 MB

english, 1972

2

A System of Abstract Constructive Ordinals

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 1.06 MB

english, 1972

3

Quasi-Constructive Foundations for Mathematics.by Frederic B. Fitch

Review by: Bruce Lercher

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 125 KB

english, 1972

4

The Interpretation of Some Lewis Systems of Modal Logic.by M. J. Cresswell

Review by: Terence Parsons

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 244 KB

english, 1972

5

Sense Without Denotation.by Timothy Smiley

Review by: Bas C. Van Fraassen

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 128 KB

english, 1972

6

A simplification of combinatory Logic

Nicolas D. Goodman

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 1.21 MB

english, 1972

7

On Models with Power-Like Ordering

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 1.19 MB

english, 1972

8

Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 667 KB

english, 1972

9

Some Model Theory of Abelian Groups

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 389 KB

english, 1972

10

Generalized Interpolation Theorems

Stephen J. Garland

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 496 KB

english, 1972

11

A Reduction Theorem for Predicate Logic

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 176 KB

english, 1972

12

Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 533 KB

english, 1972

13

General Models, Descriptions, and Choice in Type Theory

Peter B. Andrews

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 597 KB

english, 1972

14

General Models and Extensionality

Peter B. Andrews

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 194 KB

english, 1972

15

Probability, Frequency and Reasonable Expectation.by Richard T. Cox;The Algebra of Probable Inferenceby Richard T. Cox

Review by: David Miller

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 172 KB

english, 1972

16

Quelques Théorèmes de L'algèbre de Boole et Leurs applications topologiques.by R. Engelking; K. Kuratowski

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 190 KB

english, 1972

17

Injective Boolean σ-Algebrasby F. E. J. Linton

Review by: Adil Yaqub

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 127 KB

english, 1972

18

Nontrivial m-Injective Boolean Algebras do not Exist.by J. Donald Monk

Review by: Adil Yaqub

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 127 KB

english, 1972

19

O Kvaziproéktivnyh Klassah Modéléj.by S. R. Kogalovskij

Review by: Leszek Pacholski

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 136 KB

english, 1972

20

Structural Characteristics of Universal Classes.by S. R. Kogalovskij

Review by: Leszek Pacholski

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 202 KB

english, 1972

21

Universal Classes of Models.by S. R. Kogalovskij;Ultrapowers in Categories.by Tadashi Ohkuma

Review by: Anne Preller

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 125 KB

english, 1972

22

Mathematics without Foundations.by Hilary Putnam

Review by: Georg Kreisel

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 268 KB

english, 1972

23

Intuitionistic Analysis and Gödel's Interpretation.by Mariko Yasugi

Review by: A. S. Troelstra

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 134 KB

english, 1972

24

A Source Book in Mathematical Logic 1879-1931by Gottlob Frege

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 123 KB

english, 1972

25

Nicht-Standardmodelle der Zahlentheorie.by Gert H. Müller

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 198 KB

english, 1972

26

Pseudo-Complements and ordinnal Logics based on consistency statements.by Robert A. DiPaola;Some properties of pseudo-complements of recursively enumerable sets.by Robert A. DiPaola

Review by: J. R. Shoenfield

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 134 KB

english, 1972

27

Les Fonctions combinatoires et les Isols.by J. C. E. Dekker

Review by: Alfred B. Manaster

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 133 KB

english, 1972

28

The Co-simple isols.by Louise Hay

Review by: M. Hassett

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 199 KB

english, 1972

29

Elementary Differences Between the Isols and the co-simple isols.by Louise Hay

Review by: M. Hassett

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 130 KB

english, 1972

30

Note on degrees of partial functions.by John Myhill

Review by: Leonard P. Sasso, Jr.

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 130 KB

english, 1972

31

Algebras of recursive functions).by É. A. Polákov;On some properties of algebras of recursive functions.by E. A. Polakov

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 206 KB

english, 1972

32

Set-theoretical operations and recursive hierarchies.by V. I. Amstislavskij;Expansion of recursive hierarchies and r-operations.by V. I. Amstislavski;On the decomposition of a field of sets obtained by an r-operation over Recursive sets.by V. I. Amstislavskij;Effective R-sets and transfinite extensions of recursive hierarchies.by V. I. Amstislavskij

Review by: Peter G. Hinman

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 209 KB

english, 1972

33

The algorithmic Insolubility of the Problem of Recognizing the Representability of recursive events in finite automata.by M. A. Aizerman; L. A. Gusev; L. I. Rozonoér; I. M. Smirnova; A. A. Tal

Review by: Joseph S. Ullian

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 205 KB

english, 1972

34

Some Remarks on Abstract Machines.by Seymour Ginsburg

Review by: Lars Löfgren

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 131 KB

english, 1972

35

Machine Verification of Mathematical Proof.by Paul W. Abrahams

Review by: John McCarthy

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 204 KB

english, 1972

36

Theories of Abstract Automata.by Michael A. Arbib

Review by: Arto Salomaa

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 207 KB

english, 1972

37

Abstrakte Automatenby Peter H. Starke

Review by: Arto Salomaa

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 199 KB

english, 1972

38

Contribution a L'Etude Algebrique des Mecanismes Automatiques

Review by: Emil Grosswald

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 251 KB

english, 1972

39

General Theory of Complete Sets of Logical Functions.by Kimio Ibuki; Kenzi Naemura; Akihiro Nozaki

Review by: William Wernick

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 193 KB

english, 1972

40

Complete Sets of Functions of Two and Three Binary Variables.by V. Kudielka; P. Oliva

Review by: William Wernick

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 121 KB

english, 1972

41

An Unsolvable Problem Concerning Implicational Calculi.by Bishwambhar Pahi; Ralph C. Applebee

Review by: M. D. Gladstone

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 121 KB

english, 1972

42

What is Strict Implication?by Ian Hacking

Review by: David Makinson

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 121 KB

english, 1972

43

An Aristotelian Dilemma.by Jaakko Hintikka;Aristotle's Theory of Modal Syllogisms and Its Interpretation.by Nicholas Rescher;Aristotle's Modal Syllogisms.by Storrs McCall

Review by: Ivo Thomas

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 232 KB

english, 1972

44

Elementary Logic.by Benson Mates

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 170 KB

english, 1972

45

Linguisticsby David Crystal;Grammarby Frank Palmer

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 120 KB

english, 1972

46

An Analysis of Questions: Preliminray Report.by Nuel D. Belnap,

Review by: David Harrah

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 193 KB

english, 1972

47

The Autonomy of Ethics.by A. N. Prior;Professor Prior on the Autonomy of Ethics.by J. M. Shorter

Review by: B. J. Diggs

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 195 KB

english, 1972

48

Improper Self-Reference in Classical Logic and the Prediction Paradox.by M. J. O'Carroll;A Three-Valued, Non-Levelled Logic Consistent for all Self-Reference.by M. J. O'Carroll

Review by: James Cargile

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 192 KB

english, 1972

49

Contributions to Syntax, Semantics, and the Philosophy of Science.by Rolf Schock

Review by: Theodore Hailperin

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 128 KB

english, 1972

50

Completeness Theorems for Some Presupposition-Free Logics.by H. Leblanc; R. H. Thomason

Review by: Theodore Hailperin

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 184 KB

english, 1972

51

Further Citations

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 319 KB

english, 1972

52

Meeting of the Association for Symbolic Logic

Charles D. Parsons, Richard J. Orgass and Richmond H. Thomason

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 1.02 MB

english, 1972

53

Logics Without Existence Assumptions.by Rolf Schock

Review by: Theodore Hailperin

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 149 KB

english, 1972

54

Recursive equivalence: A survey.by John N. Crossley;Recursive equivalence.by John N. Crossley

Review by: Alfred B. Manaster

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 231 KB

english, 1972

55

Existentially Closed Structures

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 1.00 MB

english, 1972

56

Ramsey's Theorem and Recursion Theory

Carl G. Jockusch, Jr

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 755 KB

english, 1972

57

On Universal Classes of Algebras.by S. R. Kogalovskij

Review by: Leszek Pacholski

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 231 KB

english, 1972

58

Announcement: World directory of historians of mathematics

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 54 KB

english, 1972

59

Announcement: Recursive function theory, newsletter

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 54 KB

english, 1972

60

Related Citations

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 459 KB

english, 1972

61

JSL volume 37 issue 2 Cover and Front matter and Errata

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 9.04 MB

english, 1972

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@1delivery.pm

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