Normal view MARC view

First-order logic (Topical Term)

Number of records used in: 3
Preferred form: First-order logic

Machine generated authority record.

Work cat.: ()1126131: Casanovas, Enrique. 1109477, Simple Theories and Hyperimaginaries, 2011

                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India