Ditapis dengan
Found 1 from your keywords: author=Peter Schroeder
1 copy Tersedia
E-book Advances in Proof-Theoretic Semantics
Both Heyting and Gentzen approached questions of meaning in relation to whatit is to prove something, but as seen from the above, their approaches were stillvery different. Gentzen was concerned with what justifies inferences and therebywith what …
Edisi-
ISBN/ISSN9783319226866
Deskripsi Fisik281 hlm
Judul Seri-
No. Panggil511.3 PE a