Kategorie główne

[2952079]

[1850969]

Kategorie szczegółowe BISAC

Fitting, Melvin

Fitting, Lehman College and Graduate Center, City University of New York, USA.

[ ZOBACZ WSZYSTKIE KSIĄŻKI AUTORA ]

Proof Methods for Modal and Intuitionistic Logics	Beyond Two: Theory and Applications of Multiple-Valued Logic	Incompletetude Na Terra DOS Conjuntos
Raymond Smullyan on Self Reference	Justification Logic: Reasoning with Reasons	Numbers
Selected Topics from Contemporary Logics	First-Order Modal Logic	To Mock a Mockingbird: And Other Logic Puzzles Including an Amazing Adventure in Combinatory Logic