• Inglese
  • Spagnolo
  • Francese
  • Tedesco
  • Portoghese
  • Italiano
  • Russo
  • Cinese (semplificato)
  • Cinese (Tradizionale)
  • Giapponese
  • Coreano
  • Olandese
  • Svedese
  • Persiano
  • Arabo
  • Polacco
  • Home
  • Scopri
  • Articoli
  • Accedi
  • Registrati
  • Inglese
  • Spagnolo
  • Francese
  • Tedesco
  • Portoghese
  • Italiano
  • Russo
  • Cinese (semplificato)
  • Cinese (Tradizionale)
  • Giapponese
  • Coreano
  • Olandese
  • Svedese
  • Persiano
  • Arabo
  • Polacco
Scanner Codice a Barre ISBN
Aggiungi libri in pochi secondi con la scansione del codice a barre.

Basta scansionare un ISBN per aggiungerlo istantaneamente alla tua biblioteca. Disponibile ora su iOS e Android.

App Store Google Play
David J. Pym

David J. Pym

Panoramica Libri Serie
The Semantics and Proof Theory of the Logic of Bunched Implications

The Semantics and Proof Theory of the Logic of Bunched Implications

David J. Pym

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45.

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45.

David J. Pym

Proofs, Search and Computation in General Logic

Proofs, Search and Computation in General Logic

David J. Pym

Traccia il tuo percorso di lettura, scopri nuovi libri e raggiungi i tuoi obiettivi di lettura con BookPine.

App Store Google Play
Scopri
  • Scopri
Account
  • Accedi
  • Registrati
Supporto
  • FAQ
  • Richieste di funzionalità
  • Contatto
Termini
  • Termini di Servizio
  • Politica sulla Privacy
  • Politica sui Cookie
  • Gestisci Cookie

Diritto d'Autore © 2026 BookPine. Tutti i diritti riservati.

Invia feedback

Utilizziamo i cookie per migliorare la tua esperienza e analizzare il traffico del sito. Puoi scegliere quali cookie accettare.

Essenziale

Necessario per il funzionamento del sito web. Non può essere disabilitato.

Analitica

Aiutaci a capire come i visitatori interagiscono con il nostro sito web.

Marketing

Utilizzato per fornire pubblicità pertinenti e tracciare le campagne.