Polish Notation
This article is the first in a series formalizing some results in my joint work with Prof. Joanna Golinska-Pilarek ([12] and [13]) concerning a logic proposed by Prof. Andrzej Grzegorczyk ([14]).
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2015-09-01
|
| Series: | Formalized Mathematics |
| Subjects: | |
| Online Access: | http://www.degruyter.com/view/j/forma.2015.23.issue-3/forma-2015-0014/forma-2015-0014.xml?format=INT |