First-order logic revisited: [proceedings from the conference FOL75 - 75 years of first-order logic held at Humboldt University, Berlin, Germany, September 18 - 21, 2003]
Research output: Book/Conference proceeding/Anthology/Report › Conference proceeding › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Place of Publication | Berlin |
| Publisher | Logos Verlag, Berlin |
| ISBN (print) | 3832504753, 978-3-8325-0475-5 |
| Publication status | Published - 2004 |
| Peer-reviewed | Yes |
Publication series
| Series | Logische Philosophie |
|---|---|
| Volume | 12 |
External IDs
| EAN | 9783832504755 |
|---|
Keywords
Keywords
- Wiskundige logica, First-order logic