First-order logic
Bookmark
ShareCopied to clipboardFirst-order logic is a book subject. It includes 26 books, written by 21 different authors.
Key facts
- number of authors: 21 people
- number of books: 26
- books: A first-order interactive programming language, Combinatorial number theory : a treatise on growth, based on the Goodstein-Skolem hierarchy, including a critique on non-constructive or first-order logic, Dependence logic : a new approach to independence friendly logic
- authors: Roly Perera, Muhammad Ali McBeth, Jouko Väänänen
- publication dates: 2009, 1994, 2007
- book publishers: School of Computer Science, University of Birmingham, E Mellen Press, Cambridge University Press
See more factsExtract data
Download datasets about First-order logic:
Dataset of books about First-order logic:
"First-order logic" is one of the 293,135 book subjects in our database.
Related
Connected or similar to First-order logic: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.