Vai al contenuto principale della pagina
Biblioteche
Info
Contattaci
Storico ricerche
Pubblicazioni (Istanze)
Ricerca
Avanzata
Ovunque
Titolo
Nome
Soggetto
mostra
5
10
25
50
risultati per pagina ordinati per
Rilevanza
Titolo
Autore
Anno di pubblicazione
Record Nr.
Vai a Persone/Opere
(Ritorna alla ricerca)
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics / Alex Citkin, Ioannis M. Vandoulakis editors
Info
Relazione altra opera
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
Titolo:
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics / Alex Citkin, Ioannis M. Vandoulakis editors
Pubblicazione:
Cham, : Springer, 2022
Descrizione fisica:
xi, 313 p. : ill. ; 24 cm
Soggetto non controllato:
Adding Constants to FDE-based Logics
Canonical Models and Yankov Formulas
Characteristic Formula
Constructive Proofs based on Dialogical Interpretatio
Frame and Subframe Formula
Greek Philosophy and Mathematics
Heyting algebras
Intuitionistic Logic
Invariance Modality
Lattice NExtS4 as a Puzzle Composed of NExtInt-Pieces
Lattice of Superintuitionistic Propositional Logics
Markov’s Constructivism
Modal Canonical Formulas
Modal Logic
Pretabular Intermediate Logics
Propositional logic
Splitting Algebra
Ultra-intuitionism
Yankov Characteristic Formulas
Persona (resp. second.):
Citkin, Alex
Vandoulakis, Ioannis M.
Titolo autorizzato:
V.A. Yankov on non-classical logics, history and philosophy of mathematics
Formato:
Materiale a stampa
Livello bibliografico
Monografia
Lingua di pubblicazione:
Inglese
Record Nr.:
VAN0278240
Lo trovi qui:
Univ. Vanvitelli
Localizzazioni e accesso elettronico
https://doi.org/10.1007/978-3-031-06843-0
Opac:
Controlla la disponibilità qui
Serie:
Outstanding Contributions to Logic Berlin [etc.] . -Springer ; 24