๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

Lectures on Propositional Logic

โœ Scribed by Ryszard Wojcicki


Publisher
Ossolineum, The Publishing House of the Polish Academy of Sciences
Year
1984
Tongue
English
Leaves
179
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Lectures on Logic
โœ Immanuel Kant ๐Ÿ“‚ Library ๐Ÿ“… 1992 ๐Ÿ› Cambridge University Press ๐ŸŒ English
Lectures on Logic
โœ G.W.F. Hegel ๐Ÿ“‚ Library ๐Ÿ“… 2008 ๐Ÿ› Indiana University Press ๐ŸŒ English

Review "Butler has translated for clarity and flow, and has produced a text that reads very easily and smoothly, without sacrifice of accuracy." โ€”John Russon, University of Guelph (John Russon, University of Guelph ) From the Publisher "Butler has translated for clarity and flow, and has produ

Lectures on Logic
โœ Immanuel Kant, J. Michael Young (editor) ๐Ÿ“‚ Library ๐Ÿ“… 2004 ๐Ÿ› Cambridge University Press ๐ŸŒ English

Kant's views on logic and logical theory play an important part in his critical writings, especially in the Critique of Pure Reason. This volume includes three previously untranslated transcripts of Kant's logic lectures: the Blomberg Logic (1770s); the Vienna Logic supplemented by the recently disc

Lectures on logic
โœ Georg Wilhelm Friedrich Hegel; Clark Butler ๐Ÿ“‚ Library ๐Ÿ“… 2008 ๐Ÿ› Indiana University Press ๐ŸŒ English
Lectures on Linear Logic
โœ A. S. Troelstra ๐Ÿ“‚ Library ๐Ÿ“… 1992 ๐Ÿ› CSLI Publications ๐ŸŒ English

The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-eliminatio