|
forall x: Calgary: An Introduction to Formal Logic
by
really liked it 4.00 avg rating — 36 ratings
—
4 editions
|
|
|
Boxes and Diamonds: An Open Introduction to Modal Logic (Open Logic Project Textbooks)
by
4.12 avg rating — 8 ratings
|
|
|
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
by
4.67 avg rating — 6 ratings
|
|
|
Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
by
3.43 avg rating — 7 ratings
|
|
|
Incompleteness and Computability: An Open Introduction to Gödel's Theorems
by
4.50 avg rating — 4 ratings
|
|
|
Incompleteness and Computability: An Open Logic Text
by
it was amazing 5.00 avg rating — 1 rating
|
|
|
Sets, Logic, Computation
by
really liked it 4.00 avg rating — 1 rating
|
|
|
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
by
|
|
|
|
Streut die Asche in den Wind: Österreichische Literatur im Widerstand : ausgewählte Gedichte (Stuttgarter Arbeiten zur Germanistik)
by
0.00 avg rating — 0 ratings
|
|
|
Sets, Logic, Computation: An Open Logic Text
by
0.00 avg rating — 0 ratings
|
|
|
Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
by
0.00 avg rating — 0 ratings
|
|
|
|
The Review of Symbolic Logic (The Review of Symbolic Logic, Vol. 1, No. 2)
by
0.00 avg rating — 0 ratings
|
|
|
Die schönen Worte fallen welk und fremd--: Kassibertexte : Gedichte und Briefe
by
0.00 avg rating — 0 ratings
|
|
|
The Open Logic Text I
by
0.00 avg rating — 0 ratings
|
|
|
The Open Logic Text II
by
0.00 avg rating — 0 ratings
|
|
* Note: these are all the books on Goodreads for this author. To add more books,
click here.
