Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
CORE TYPE THEORY Abstractvan Dijk, Emma ; Ripley, David ; Gutierrez, JulianBulletin of the Section of Logic, 2023-01, Vol.52 (2), p.145-186 [Periódico revisado por pares]Warsaw: University of ŁódźTexto completo disponível |
|
2 |
Material Type: Artigo
|
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic ExtensionsCornejo, Juan Manuel ; Sankappanavar, Hanamantagouda PBulletin of the Section of Logic, 2022-12, Vol.51 (4), p.555-645 [Periódico revisado por pares]Warsaw: Wydawnictwo Uniwersytetu ŁódzkiegoTexto completo disponível |
|
3 |
Material Type: Artigo
|
Los monstruos kaplanianos y la lógica de los demostrativosTomas Andres Barrero GuzmanIdeas y valores, 2022-01, Vol.71 (179) [Periódico revisado por pares]Bogota: Universidad Nacional de ColombiaTexto completo disponível |
|
4 |
Material Type: Artigo
|
Los monstruos kaplanianos y la lógica de los demostrativosTomas Andres Barrero GuzmanIdeas y valores, 2022-01, Vol.71 (180) [Periódico revisado por pares]Bogota: Universidad Nacional de ColombiaTexto completo disponível |
|
5 |
Material Type: Artigo
|
From the Logic of Modern Science to an Integral Hermeneutics. Following an Analogy belonging to Francis BaconMunteanu, CristinelActa Universitatis Danubius. Communicatio, 2022-01, Vol.16 (2) [Periódico revisado por pares]Galati: Universitatea Danubius GalatiTexto completo disponível |
|
6 |
Material Type: Artigo
|
Corrigendum to "On Definable Completeness for Ordered Fields" RML, 54 (2019), 95 - 100Moniri, MojtabaReports on mathematical logic, 2021, Vol.56 (56), p.111-113 [Periódico revisado por pares]Kraków: Wydawnictwo Uniwersytetu JagiellońskiegoTexto completo disponível |
|
7 |
Material Type: Artigo
|
Design of ternary logic gates and circuits using GNRFETsMadhuri, Badugu Divya ; Sunithamani, SubramaniIET circuits, devices & systems, 2020-10, Vol.14 (7), p.972-979 [Periódico revisado por pares]The Institution of Engineering and TechnologyTexto completo disponível |
|
8 |
Material Type: Artigo
|
Memristor-based stateful logic gates for multi-functional logic circuitLuo, Li ; Dong, Zhekang ; Duan, Shukai ; Lai, Chun SingIET circuits, devices & systems, 2020-09, Vol.14 (6), p.811-818 [Periódico revisado por pares]The Institution of Engineering and TechnologyTexto completo disponível |
|
9 |
Material Type: Artigo
|
Nanomagnetic Boolean Logic - The Tempered (and Realistic) VisionBandyopadhyay, SupriyoIEEE access, 2021-01, Vol.9, p.1-1 [Periódico revisado por pares]Piscataway: IEEETexto completo disponível |
|
10 |
Material Type: Artigo
|
Zrození Kvaszova absolutního idealismu z ducha geometrieKolman, VojtěchReflexe (Prague, Czech Republic), 2020 (59), p.189-202 [Periódico revisado por pares]Univerzita Karlova v Praze, Nakladatelství KarolinumTexto completo disponível |