back
Link to this page
Search results
  • -7 of 132

Analysis of Beth's semantic construction of intuitionistic logic

Show full title
Archive der Universität Konstanz
Data provider's object view
Record
PAKN, GK Georg Kreisel, GK 8-1-45
PAKN, GK Georg Kreisel
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
1961
Enthält: eine Kopie des zusammen mit Verena Huber Dyson publizierten Artikels "Analysis of Beth's semantic construction of intuitionistic logic" aus Technical Report 3 (27.1.1961) (Applied Mathematics and Statistics Laboratories, Stanford University, Stanford Calif. 1961 ) Huber-Dyson, Verena; Mathematikerin, 1923 - 2016



33 Bl.
Sachakte
Huber-Dyson, Verena
Object in the 'Deutsche Digitale Bibliothek'
10.06.2025, 11:28 AM CEST
Archive der Universität Konstanz
Data provider's object view

Hierarchy

Hierarchy detail view

Archive der Universität Konstanz