//]]>
Unhighlight Highlight
Truth and Falsehood by Shramko, Yaroslav. Publication: . XIV, 250 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Philosophy of Syntax by Talasiewicz, Mieszko. Publication: . VI, 189p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Paradoxes by Łukowski, Piotr. Publication: . VIII, 196 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Łukasiewicz calculus and MV-algebras by Mundici, D. Publication: . XVIII, 258 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Methods of Cut-Elimination by Leitsch, Alexander. Publication: . VI, 290 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Dual Tableaux: Foundations, Methodology, Case Studies by Orlowska, Ewa. Publication: . XVI, 523 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Gentzen Calculi for Modal Propositional Logic by Poggiolesi, Francesca. Publication: . XII, 224 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Natural Deduction, Hybrid Systems and Modal Logics by Indrzejczak, Andrzej. Publication: . XXIII, 514p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages: 
English |
العربية