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
Home
Advances in proof-theoretic semantics / Thomas Piecha, Peter Schroeder-Heister editors
Info
Relazione altra opera
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
Titolo:
Advances in proof-theoretic semantics / Thomas Piecha, Peter Schroeder-Heister editors
Pubblicazione:
Cham, : Springer Open, 2016
Titolo uniforme:
Advances in proof-theoretic semantics
Descrizione fisica:
VI, 283 p. ; 24 cm
Soggetto topico:
03-XX - Mathematical logic and foundations [MSC 2020]
03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020]
03F07 - Structure of proofs [MSC 2020]
03F55 - Intuitionistic mathematics [MSC 2020]
Soggetto non controllato:
Foundations of logic
General proof theory
Gentzen’s approach to meaning
Heyting’s approach to meaning
Logical constants
Proof Theory
Theory of constructions
Persona (resp. second.):
Piecha, Thomas
Schroeder-Heister, Peter
Titolo autorizzato:
Advances in proof-theoretic semantics
Formato:
Materiale a stampa
Livello bibliografico
Monografia
Lingua di pubblicazione:
Inglese
Record Nr.:
VAN0114365
Lo trovi qui:
Univ. Vanvitelli
Localizzazioni e accesso elettronico
http://dx.doi.org/10.1007/978-3-319-22686-6
Opac:
Controlla la disponibilità qui
Serie:
Trends in logic : studia logica library Berlin [etc.] . -Springer ; 43