Filter Related Topics within your search.
1
Gödel's incompleteness theorems /

Cover is for reference only
Main Authors: Kennedy, Juliette, 1955- (Author)
Published: Cambridge University Press,
Publication Dates: 2022.
Call Number: O141/K359
Book
Save to List
Saved in:
2
Higher-order logic and type theory /

Cover is for reference only
Main Authors: Bell, J. L. (John Lane) (Author)
Published: Cambridge University Press,
Publication Dates: 2022.
Call Number: O141/B433-1
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —