1. |
A VERSION OF KRIPKE‐PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 1‐6,
1984,
Page 3-9
Gerhard Jäger,
Preview
|
PDF (345KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840300102
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|
2. |
ON THE EXPRESSIVE POWER OF THE LOGICSL(Qαn1,…,nm) |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 1‐6,
1984,
Page 11-20
Andreas Rapp,
Preview
|
PDF (575KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840300103
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|
3. |
FILTERKONVERGENZ IN DER NICHTSTANDARD‐ANALYSIS |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 1‐6,
1984,
Page 21-44
Klemens Döpp,
Preview
|
PDF (1431KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840300104
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|
4. |
THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 1‐6,
1984,
Page 45-86
Robert Bull,
Preview
|
PDF (1222KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840300105
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|
5. |
AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ONn‐VALUED LUKASIEWICZ LOGICS |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 1‐6,
1984,
Page 87-96
Roberto Cignoli,
Preview
|
PDF (580KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840300106
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|
6. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 1‐6,
1984,
Page -
Preview
|
PDF (28KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840300101
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|