Volume 25; Issue 3

Main
Journal of Symbolic Logic
Volume 25; Issue 3

Journal of Symbolic Logic

Volume 25; Issue 3

1

The Reach of Scienceby Henryk Mehlberg

Review by: Edward Poznański

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 994 KB

english, 1960

2

A Theorem Concerning the Composition of Functions of Several Variables Ranging Over a Finite Set

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 623 KB

english, 1960

3

Construction and Analysisby P. F. Strawson

Review by: J. Ferrater Mora

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 392 KB

english, 1960

4

Was ist und was Kann Logistikby Albert Menne

Review by: Robert Blanche

Journal:

Journal of Symbolic Logic

Year:

1960

File:

PDF, 260 KB

1960

5

A Method in Proofs of Undefinability, with Applications to Functions in the Arithmetic of Natural Numbersby Karel Louis de Bouvère

Review by: Gert H. Müller

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 579 KB

english, 1960

6

Allocution Prononcée par M. R. Feys.by R. Feys;Allocution Prononcée par M. J.-L. Destouches.by J.-L. Destouches;Logical Studiesby Håkan Törnebohm;Discourse Analysisby Håkan Törnebohm;Content of Informationby Håkan Törnebohm

Review by: Y. Bar-Hillel

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 347 KB

english, 1960

7

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 299 KB

english, 1960

8

A Formalisation of Referentially Opaque Contexts

L. Jonathan Cohen

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 1.11 MB

english, 1960

9

On the Definition of an Infinitely-Many-Valued Predicate Calculus

Joseph D. Rutledge

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 519 KB

english, 1960

10

An Unsolvable Problem in Number Theory

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 1.45 MB

english, 1960

11

Degrees of Models

J. R. Shoenfield

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 544 KB

english, 1960

12

Fact, Fiction, & Forecastby Nelson Goodman

Review by: R. M. Martin

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 365 KB

english, 1960

13

Sense and Nonsense in Operationismby Gustav Bergmann; Philipp G. Frank;A Logical Appraisal of Operationismby Carl G. Hempel

Review by: Atwell R. Turquette

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 409 KB

english, 1960

14

Communication, Organization and Scienceby Jerome Rothstein; C. A. Muses

Review by: Leon Henkin

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 212 KB

english, 1960

15

Logic and Psychologyby Jean Piaget

Review by: Carl G. Hempel

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 365 KB

english, 1960

16

Cybernetics and Managementby Stafford Beer

Review by: Norman M. Martin

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 215 KB

english, 1960

17

Filosofins Historia. Antiken och Medeltidenby Anders Wedberg

Review by: Th. Skolem

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 360 KB

english, 1960

18

La Logique en Pologne. Son Originalité et les Influences Étrangères.by Tadeusz Kotarbiński

Review by: Tadeusz Czeżowski

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 205 KB

english, 1960

19

The Moral Philosophy of Richard Priceby Lennart Åqvist

Review by: M. J. Cresswell

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 418 KB

english, 1960

20

The Revolution in Philosophyby A. J. Ayer; W. C. Kneale; G. A. Paul; D. F. Pears; P. F. Strawson; G. J. Warnock; R. A. Wollheim

Review by: José Ferrater Mora

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 465 KB

english, 1960

21

Gottlob Frege and Mathematical Logicby W. C. Kneale

Review by: J. Ferrater Mora

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 252 KB

english, 1960

22

The Vienna Circleby A. J. Ayer

Review by: J. Ferrater Mora

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 251 KB

english, 1960

23

The Revolution in Philosophyby R. A. Wollheim; A. J. Ayer; W. C. Kneale; G. A. Paul; D. F. Pears; P. F. Strawson; G. J. Warnock;La Revolucion in Filosofiaby R. A. Wollheim; F. H. Bradley;Analysis, Common usuage, and Common Senseby G. A. Paul;G. E. Moore;Wittgensteinby G. A. Paul;Analysis and Imaginationby G. J. Warnock

Review by: Alan Ross Anderson

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 341 KB

english, 1960

24

Symmetry, Transitivity and Reflexivityby A. N. Prior

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 396 KB

english, 1960

25

Symbolic Logic and The Game of Logicby Lewis Carroll; Edmund C. Berkeley

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 398 KB

english, 1960

26

Determinação de Silogismos Legítimos.by Leonidas Hegenberg

Review by: Hector-Neri Castañeda

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 202 KB

english, 1960

27

What are x and y?by Karl Menger

Review by: H. E. Vaughan

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 403 KB

english, 1960

28

New Approach to Teaching Intermediate Mathematicsby Karl Menger

Review by: H. E. Vaughan

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 407 KB

english, 1960

29

Grundlagen der Mathematik in Geschichtlicher Entwicklungby Oskar Becker

Review by: W. Ackerman

Journal:

Journal of Symbolic Logic

Year:

1960

File:

PDF, 429 KB

1960

30

Les Fondements Logiques des Mathématiques.by E. W. Beth

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1960

File:

PDF, 227 KB

1960

31

Les Limitations Internes des Formalismes. Étude sur la Signification du Théorème de Gödel et des Théorèms Apparentés dans la Théorie des Fondements des Mathématiques.by Jean Ladrière

Review by: Donald Monk

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 222 KB

english, 1960

32

Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der Ersten Stufe.by János Surányi

Review by: Joseph S. Wholey

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 506 KB

english, 1960

33

Handbok i Logik. Del I. Logisk Konsekvensby Stig Kanger

Review by: Lars Svenonius

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 219 KB

english, 1960

34

Einführung in die Mathematische Logik. Teil I. Aussagenkalkül.by G. Asser

Review by: H. Hermes

Journal:

Journal of Symbolic Logic

Year:

1960

File:

PDF, 411 KB

1960

35

Axiomatic Set Theoryby Patrick Suppes

Review by: Alfons Borgers

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 399 KB

english, 1960

36

Sets, Logic, and Axiomatic Theoriesby Robert R. Stoll

Review by: Alfons Borgers

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 352 KB

english, 1960

37

Computabilita e Ricorsivita. Problemi di Logica Matematica

Review by: Amedeo G. Conte

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 203 KB

english, 1960

38

Extension of an Effectively Generated Class of Functions by Enumerationby S. C. Kleene

Review by: William W. Tait

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 349 KB

english, 1960

39

Vvédénié v Métamatématiku.by Stephen Cole Kleene; A. S. Ésénin-Vol'pin; V. A. Uspénskij

Review by: David D. Comey and J. Barkley Rosser

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 517 KB

english, 1960

40

Das Kontinuumby H. Weyl

Review by: P. Lorenzen

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 614 KB

english, 1960

41

Allocution Prononcée par M. A. Châtelet.by Albert Châtelet;Une Relativisation des Notions Mathématiques Fondamentales.by Th. Skolem;Interventionsby A. Tarski; M. Krasner; A. Mostowski; R. de Possel

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

File:

PDF, 432 KB

1960

42

Remarques sur le Problème de la Décision en Logique Élémentaire.by Paul Bernays

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 238 KB

english, 1960

43

Sur une Extension de la Polyrelation et des Parentés Tirant son Origine du Calcul Logique de kème Échelon.by Roland Fraïssé;Hypothèses de la Théorie des Relations qui Permettent d'Associer, a un bon ordre d'un ensemble, un bon ordre, défini sans ambiguïté, de l'ensemble de ses parties.by René de Possel; Roland Fraïssé;Interventionsby A. Tarski; A. Mostowski

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 368 KB

english, 1960

44

Sur les Possibilités d'Extension de la Notion de Fonction Récursive aux Fonctions d'une au Plusiers Variables Réelles.by Daniel Lacombe;Interventionby G. Bouligand

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 359 KB

english, 1960

45

Construction Sémantique de la Logique Intuitioniste.by E. W. Beth;Interventionby A. Heyting;La Théorie Élémentaire de l'Intégration en Mathématiques Intuitionnistes.by A. Heyting

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 231 KB

english, 1960

46

Sur la Méthodologie des Recherches sur les Fondements des mathématiques.by F. Gonseth

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 358 KB

english, 1960

47

Expression de la Vérifiabilité Expérimentale dans le Raisonnement Formalisé.by Robert Feys;Interventionsby J.-L. Destouches; J. Porte; E. W. Beth; A. Tarski; P. Bernays

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 187 KB

english, 1960

48

Recherches sur les Logiques Modalesby J. Porte

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 187 KB

english, 1960

49

Remarques sur Certains Aspects Formels des Théories Physiques.by Jean-Louis Destouches; Paulette Février;Interventionsby M. Fréchet; J.-L. Destouches; G. Bouligand; E. W. Beth; P. Février

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 187 KB

english, 1960

50

Three-Valued Logicby Hilary Putnam;Reichenbach's Interpretation of quantum-Mechanicsby Paul Feyerabend;Putnam's three Truth Valuesby Isaac Levi

Review by: Leon Henkin

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 594 KB

english, 1960

51

On Many-Valued Systems of Logicby Arto Salomaa;On the Composition of Functions of Several Variables Ranging over a Finite Setby Arto Salomaa

Review by: Atwell R. Turquette

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 563 KB

english, 1960

52

A Three-Valued Logic with Meaning-Operatorby Takeo Sugihara

Review by: Gene F. Rose

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 194 KB

english, 1960

53

A System of Modal Logicby Jan Łukasiewicz;A System of Modal Logicby Jan Łukasiewicz;Note on a Modal System of Łukasiewicz.by Ivo Thomas;The Interpretation of Two Systems of Modal Logicby A. N. Prior;On the Interpretation of a Modal System of Łukasiewicz.by Alan Ross Anderson;Arithmetic and Modal Logicby Jan Łukasiewicz;On a Controversial Problem of Aristotle's Modal Syllogistic Dominican Studiesby Jan Łukasiewicz

Review by: Ronald Harrop

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 739 KB

english, 1960

54

Rapports entre Calculs Propositionnels Modaux et Topologie Impliques par certaines Extensions de la Methode des Tableaux Semantiques. Systeme de Fey-von Wright

Review by: Jaakko Hintikka

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 455 KB

english, 1960

55

On Some Properties of Intermediate Logicsby Toshio Umezawa

Review by: Gene F. Rose

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 443 KB

english, 1960

56

On an Application of Intermediate Logicsby Toshio Umezawa

Review by: Gene F. Rose

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 252 KB

english, 1960

57

An Opposite and an Expanded Systemby Gerold Stahl

Review by: Gene F. Rose

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 400 KB

english, 1960

58

Extendible Sentential Calculusby Henry Hiż

Review by: A. R. Turquette

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 206 KB

english, 1960

59

A Double-Iteration Property of Boolean Functionsby Carl Lyngholm; Wolfgang Yourgrau

Review by: William Wernick

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 354 KB

english, 1960

60

The Problem of Simplifying Logical Expressionsby B. Dunham; R. Fridshal

Review by: E. J. McCluskey, Jr.

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 208 KB

english, 1960

61

Complexity in Electronic Switching Circuitsby David E. Muller

Review by: Edward F. Moore

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 207 KB

english, 1960

62

Extension of Moore-Shannon Model for Relay Circuitsby M. Kochen

Review by: S. Seshu

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 347 KB

english, 1960

63

A New Method of Assigning Secondary Relays in Sequential Switching Circuitsby Shintaro Eguchi

Review by: Makoto Itoh

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 197 KB

english, 1960

64

The Theory of Analysis of Sequential Time Switching Circuitsby Tatsuki Watanabe; Soichiro Suto

Review by: Makoto Itoh

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 198 KB

english, 1960

65

On the Analysis of Potential-Pulse Networks Using Special Transition Operatorsby A. D. Talancey

Review by: Paweł Szeptycki

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 198 KB

english, 1960

66

Realization of Symmetric Function in the Class of II (Series-Parallel) Circuitsby V. K. Korobkov

Review by: P. Szeptycki

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 295 KB

english, 1960

67

Notice

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 109 KB

english, 1960

68

Beweistheorieby Kurt Schütte

Review by: Georg Kreisel

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 1.32 MB

english, 1960

69

Un Procédé Maniable de Décision pour la Logique Propositionelle Intuitionniste.by H. Arnold Schmidt;Interventionsby A. Mostowski; Arnold Schmidt; A. Tarski; R. Feys

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 210 KB

english, 1960

70

Logical Atomism: Russell and Wittgensteinby D. F. Pears

Review by: J. Ferrater Mora

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 282 KB

english, 1960

71

Full Classes and Ordinals

Sherman K. Stein

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 371 KB

english, 1960

72

Sur les Notions Intuitives Mises en Oeuvre par la Constitution et l'étude d'un Système Formel.by Roger Martin

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 260 KB

english, 1960

73

On Requirements for Conditional Probability Functions

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 597 KB

english, 1960

74

Diccionario de Filosofía.by José Ferrater Mora

Review by: John van Heijenoort

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 434 KB

english, 1960

75

An Extension of a Theorem of Margaris

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 407 KB

english, 1960

76

Some Remarks about Imperativesby Shia Moser

Review by: Hector-Neri Castañeda

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 431 KB

english, 1960

77

The Design and Use of Hazard-Free Switching Networksby David A. Huffman

Review by: Edward F. Moore

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 368 KB

english, 1960

78

Psychology of Judgment and Choice: A Theoretical Essayby Frank Restle

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 242 KB

english, 1960

79

An Interpolation Theorem in the Predicate Calculusby Roger C. Lyndon

Review by: M. A. Taitslin

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 374 KB

english, 1960

80

JSL volume 25 issue 3 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 4.50 MB

english, 1960

81

Elections

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 64 KB

english, 1960

82

Notice of the Society for Industrial and Applied Mathematics

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 36 KB

english, 1960

83

Notices of meetings of the Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 64 KB

english, 1960

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