Real conversations. Worthwhile reads.中文

Formal languages in logic

Explore Formal languages in logic by Catarina Dutilh Novaes: 2 Hacker News mentions from 2 participants in 2007-02-22–2026-11-01. Read original excerpts, compare opinions and save this book.

THE HACKERBOOKS LIBRARY
Formal languages in logic
Catarina Dutilh Novaes
Programming

Formal languages in logic

2 mentions · 2 participants · 1 recommenders

Book edition

From the conversation

Latest 2 source records

A mention is not an endorsement. Labels are automatically classified by the source. Follow the original discussion to verify the context.

Kkovek
Mention

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News
Ggue5t
Recommendation · source label

This record preserves its author, date and source link. Open HN to read the full context.

Read on Hacker News