Theory and applications of a syntactical notion of the equivalence of formal logical systems /

Author(s)

Hatcher, William S

Publisher

Neuchâtel : L-A Monnier

Date issued

1964

Subjects

équivalence système logique Logique mathématique

Publication type

doctoral thesis

Identifiers

https://libra.unine.ch/handle/20.500.14713/30347

DOI

10.35662/unine-thesis-470

File(s)

Name

00000470.pdf

Type

Main Article

Size

1.33 MB

Format

Adobe PDF