Volume 12; Issue 3-4

Main
Dialectica
Volume 12; Issue 3-4

Dialectica

Volume 12; Issue 3-4

1

ÜBER DIE BEZIEHUNG ZWISCHEN STRIKTER UND STRENGER IMPLIKATION

Von Wilhelm Ackermann

Journal:

Year:

1958

Language:

german

File:

PDF, 421 KB

german, 1958

2

« COGITO ERGO SUM »– RAISONNEMENT OU INTUITION?

Journal:

Year:

1958

Language:

french

File:

PDF, 520 KB

french, 1958

3

BEOBACHTUNGSSPRACHE UND THEORETISCHE SPRACHE

Von Rudolf Carnap

Journal:

Year:

1958

Language:

german

File:

PDF, 684 KB

german, 1958

4

CALCULUSES AND FORMAL SYSTEMS

Haskell B. Curry

Journal:

Year:

1958

Language:

english

File:

PDF, 1.03 MB

english, 1958

5

PAUL BERNAYS UND DIE BEGRÜNDUNG DER MENGENLEHRE

Von Abraham A. Fraenkel

Journal:

Year:

1958

Language:

german

File:

PDF, 298 KB

german, 1958

6

ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Von Kurt Gödel

Journal:

Year:

1958

Language:

german

File:

PDF, 422 KB

german, 1958

7

LE PROBLÈME DU LANGAGE ET L'OUVERTURE A L'EXPÈRIENCE

Journal:

Year:

1958

Language:

french

File:

PDF, 388 KB

french, 1958

8

ON THE NATURE OF MATHEMATICAL SYSTEMS

R. L. Goodstein

Journal:

Year:

1958

Language:

english

File:

PDF, 1.02 MB

english, 1958

9

ZUM EINFACHHEITSPRINZIP IN DER WAHRSCHEINLICHKEITSRECHNUNG

Von Hans Hermes

Journal:

Year:

1958

Language:

german

File:

PDF, 732 KB

german, 1958

10

BLICK VON DER INTUITIONISTISCHEN WARTE

Journal:

Year:

1958

Language:

german

File:

PDF, 710 KB

german, 1958

11

HILBERT'S PROGRAMME

Journal:

Year:

1958

Language:

english

File:

PDF, 1.33 MB

english, 1958

12

GRAPHSCHEMATA UND REKURSIVE FUNKTIONEN

Von Rózsa Péter

Journal:

Year:

1958

Language:

german

File:

PDF, 764 KB

german, 1958

13

RELATIVE MODEL-COMPLETENESS AND THE ELIMINATION OF QUANTIFIERS

Abraham Robinson

Journal:

Year:

1958

Language:

english

File:

PDF, 578 KB

english, 1958

14

ÜBER EINIGE NEUERE UNTERSUCHUNGEN ZUR MODALITÄTENLOGIK

Von H. Arnold Schmidt

Journal:

Year:

1958

Language:

german

File:

PDF, 720 KB

german, 1958

15

AUSSAGENLOGISCHE GRUNDEIGENSCHAFTEN FORMALER SYSTEME

Von Kurt Sceütte

Journal:

Year:

1958

Language:

german

File:

PDF, 894 KB

german, 1958

16

REDUCTION OF AXIOM SYSTEMS WITH AXIOM SCHEMES TO SYSTEMS WITH ONLY SIMPLE AXIOMS

Journal:

Year:

1958

Language:

english

File:

PDF, 285 KB

english, 1958

17

DUALITÄT

Von Ernst Specker

Journal:

Year:

1958

Language:

german

File:

PDF, 786 KB

german, 1958

18

EIGHTY YEARS OF FOUNDATIONAL STUDIES

Journal:

Year:

1958

Language:

english

File:

PDF, 1.70 MB

english, 1958