Abgekürzte Beweise im Logikkalkül (Q110950925)
Jump to navigation
Jump to search
doctoral dissertation by Saunders Mac Lane
- Abbreviated Proofs in the Logical Calculus
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abgekürzte Beweise im Logikkalkül |
doctoral dissertation by Saunders Mac Lane |
|
Statements
1934
0 references