TRUTH-VALUE STIPULATIONS FOR THE VON WRIGHT SYSTEM M′ AND THE HEYTING SYSTEM.
- Published in:
- Mathematical Logic Quarterly, 1964, v. 10, n. 9-12, p. 173, doi. 10.1002/malq.19640100908
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1964 AND VI 10 AND IP 9-12
Results: 8
1
2
BESCHREIBUNG VON KONTAKTSCHALTUNGEN DURCH ÄQUIVALENZEN AUF DER KNOTENMENGE.
- Published in:
- Mathematical Logic Quarterly, 1964, v. 10, n. 9-12, p. 147, doi. 10.1002/malq.19640100904
- By:
- Publication type:
- Article
3
EIN ALGORITHMUS ZUR VERARBEITUNG LOGISCHER OPERATOREN IM RAHMEN EINER AUTOMATISCHEN PROGRAMMIERUNG MITTELS PROGRAMMIERENDEN PROGRAMMS.
- Published in:
- Mathematical Logic Quarterly, 1964, v. 10, n. 9-12, p. 139, doi. 10.1002/malq.19640100903
- By:
- Publication type:
- Article
4
[Russian text Ignored.].
- Published in:
- Mathematical Logic Quarterly, 1964, v. 10, n. 9-12, p. 163, doi. 10.1002/malq.19640100907
- By:
- Publication type:
- Article
5
ZU DEN STRUKTUREN DER KLASSISCHEN PRÄDIKATENLOGIK.
- Published in:
- Mathematical Logic Quarterly, 1964, v. 10, n. 9-12, p. 121, doi. 10.1002/malq.19640100902
- By:
- Publication type:
- Article
6
ON A FINAL MULTIPLICATIVE FORMULATION OF THE FUNDAMENTAL THEOREM OF ARITHMETIC.
- Published in:
- Mathematical Logic Quarterly, 1964, v. 10, n. 9-12, p. 159, doi. 10.1002/malq.19640100906
- By:
- Publication type:
- Article
7
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1964, v. 10, n. 9-12, p. fmi, doi. 10.1002/malq.19640100901
- Publication type:
- Article
8
DIE DURCH DIE SCHWACH INNEREN RELATIONEN GEGEBENEN MODELLE DER MENGENLEHRE.
- Published in:
- Mathematical Logic Quarterly, 1964, v. 10, n. 9-12, p. 151, doi. 10.1002/malq.19640100905
- By:
- Publication type:
- Article