Groups
Sign in
Groups
Logical Books
Conversations
About
Send feedback
Help
Logical Books
1–3 of 3
Information about high-quality scientific books and textbooks published by researchers for researchers and students in Computer Science and other academic fields.
Mark all as read
Report group
0 selected
LogicalBooks
1/9/15
Announcement
[Logical Books] Kowalski revisits Logic for Problem Solving
Logic for Problem Solving, Revisited by Robert Kowalski ISBN 9783837036299 Also available as E-Book
unread,
Announcement
[Logical Books] Kowalski revisits Logic for Problem Solving
Logic for Problem Solving, Revisited by Robert Kowalski ISBN 9783837036299 Also available as E-Book
1/9/15
LogicalBooks
10/8/14
Announcement
New Logical Book: Types 2013 Proceedings
Now available Types for Proofs and Programs LIPIcs Proceedings 19th International Conference TYPES
unread,
Announcement
New Logical Book: Types 2013 Proceedings
Now available Types for Proofs and Programs LIPIcs Proceedings 19th International Conference TYPES
10/8/14
LogicalBooks
6/23/14
Announcement
Books for Programming in Logic
Are you logically experienced? New books for you: Kowalski - Logic for Problem Solving, Revisited
unread,
Announcement
Books for Programming in Logic
Are you logically experienced? New books for you: Kowalski - Logic for Problem Solving, Revisited
6/23/14