Help on query formulation
first | previous | 1 | next | last

Result 1 to 3 of 3 total

Teaching semantic tableaux method for propositional classical logic with a CAS. (English)
Int. J. Technol. Math. Educ. 22, No. 2, 85-91 (2015).
Classification: U70 E30 N80
1
Mathematical foundations for computer science. Sets, logic, recursion. (Mathematische Grundlagen für die Informatik. Mengen, Logik, Rekursion.) (German)
Springer-Lehrbuch. Wiesbaden: Springer Vieweg (ISBN 978-3-658-03078-0/pbk; 978-3-658-03079-7/ebook). x, 222~p. (2013).
Classification: E35 E65 P25 Reviewer: Klaus D. Kiermeier (Berlin)
2
Simple formal logic. With common-sense symbolic techniques. (English)
London: Routledge (ISBN 978-0-415-99745-4/hbk). xi, 348~p. (2010).
Classification: E35 Reviewer: Branislav Boričić (Beograd)
3
first | previous | 1 | next | last

Result 1 to 3 of 3 total

Valid XHTML 1.0 Transitional Valid CSS!