skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Peter Schroeder-Heister on Proof-Theoretic Semantics
Peter Schroeder-Heister on Proof-Theoretic Semantics
Material Type:
Libro 		Añadir a Mi Portal

Peter Schroeder-Heister on Proof-Theoretic Semantics

Wehmeier, Kai F ; Piecha, Thomas

Cham: Springer Nature 2024

Texto completo disponible

Citas Citado por
2
Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry
Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry
Material Type:
Libro 		Añadir a Mi Portal

Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry

Ferguson, Thomas Macaulay

Cham: Springer Nature 2017

Sin texto completo

Citas Citado por
3
Origins and Varieties of Logicism: On the Logico-Philosophical Foundations of Mathematics
Origins and Varieties of Logicism: On the Logico-Philosophical Foundations of Mathematics
Material Type:
Libro 		Añadir a Mi Portal

Origins and Varieties of Logicism: On the Logico-Philosophical Foundations of Mathematics

Boccuni, Francesca ; Sereni, Andrea Boccuni, Francesca ; Sereni, Andrea

Oxford: Routledge 2022

Sin texto completo

Citas Citado por
4
Logical Chaotic Resonance in a Bistable System
Logical Chaotic Resonance in a Bistable System
Material Type:
Artículo 		Añadir a Mi Portal

Logical Chaotic Resonance in a Bistable System

Yao, Yuangen ; Ma, Jun

International journal of bifurcation and chaos in applied sciences and engineering, 2020-10, Vol.30 (13), p.2050196 [Revista revisada por pares]

Singapore: World Scientific Publishing Company

Texto completo disponible

Citas Citado por
5
First-Order Interpretations of Bounded Expansion Classes
First-Order Interpretations of Bounded Expansion Classes
Material Type:
Artículo 		Añadir a Mi Portal

First-Order Interpretations of Bounded Expansion Classes

Gajarský, Jakub ; Kreutzer, Stephan ; NešETřil, Jaroslav ; Mendez, Patrice ; Pilipczuk, Michał ; Siebertz, Sebastian ; Toruńczyk, Szymon

ACM transactions on computational logic, 2020-10, Vol.21 (4), p.1-41 [Revista revisada por pares]

ACM

Texto completo disponible

Citas Citado por
6
ALGEBRAIC APPROACH TO DYNAMICS OF MULTIVALUED NETWORKS
ALGEBRAIC APPROACH TO DYNAMICS OF MULTIVALUED NETWORKS
Material Type:
Artículo 		Añadir a Mi Portal

ALGEBRAIC APPROACH TO DYNAMICS OF MULTIVALUED NETWORKS

LI, ZHIQIANG ; CHENG, DAIZHAN

International journal of bifurcation and chaos in applied sciences and engineering, 2010-03, Vol.20 (3), p.561-582 [Revista revisada por pares]

World Scientific Publishing Company

Texto completo disponible

Citas Citado por
7
Lindenbaum-Type Logical Structures
Lindenbaum-Type Logical Structures
Material Type:
Artículo 		Añadir a Mi Portal

Lindenbaum-Type Logical Structures

Roy, Sayantan ; Basu, Sankha S. ; Chakraborty, Mihir K.

Logica universalis, 2023-03, Vol.17 (1), p.69-102 [Revista revisada por pares]

Cham: Springer International Publishing

Texto completo disponible

Citas Citado por
8
A modular construction of type theories
A modular construction of type theories
Material Type:
Artículo 		Añadir a Mi Portal

A modular construction of type theories

Blanqui, Frédéric ; Dowek, Gilles ; Grienenberger, Emilie ; Hondet, Gabriel ; Thiré, François

Logical methods in computer science, 2023-02, Vol.19, Issue 1 (1) [Revista revisada por pares]

Logical Methods in Computer Science Association

Texto completo disponible

Citas Citado por
9
Logical information theory: new logical foundations for information theory
Logical information theory: new logical foundations for information theory
Material Type:
Artículo 		Añadir a Mi Portal

Logical information theory: new logical foundations for information theory

Ellerman, David

Logic journal of the IGPL, 2017-10, Vol.25 (5), p.806-835 [Revista revisada por pares]

Texto completo disponible

Citas Citado por
10
Nothing To Come: A Defence of the Growing Block Theory of Time
Nothing To Come: A Defence of the Growing Block Theory of Time
Material Type:
Libro 		Añadir a Mi Portal

Nothing To Come: A Defence of the Growing Block Theory of Time

Correia, Fabrice Rosenkranz, Sven

Cham: Springer Nature 2018

Sin texto completo

Citas Citado por
Resultados 1 2 3 4 5 next page

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Recursos en línea (2.436)
  2. Revistas arbitradas (2.265)

Refinar mis resultados

Tipo de Recurso 

  1. Capítulos de libro  (2.451)
  2. Artículos  (2.249)
  3. Actas de Congreso  (15)
  4. Libros  (4)
  5. magazinearticle  (2)
  6. Más opciones open sub menu

Fecha de Publicación 

De Hasta
Refinar
  1. Antes de1964  (75)
  2. 1964Hasta1978  (377)
  3. 1979Hasta1993  (671)
  4. 1994Hasta2009  (1.602)
  5. Después de 2009  (2.302)
  6. Más opciones open sub menu

Idioma 

  1. Japonés  (199)
  2. Francés  (2)
  3. Más opciones open sub menu

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora