Shortcuts
SISSA Library . Default .
PageMenu- Home-
Page content
 

Ricerca Risultati

La tua ricerca per Autore Comb.=GABBAY DOV M restituito 6 Documenti

Search Result Page: .   1   .   . Pagina: 1 di1
SELEZIONARE IL TITOLO PER INFORMAZIONI SULLA DISPONIBILITA'
Display results in shelf format.
Ricerca Risultati
Risultato Thumbnail Titolo Autore Anno Flags Holding Information
1 Labelled Deduction Labelled Deduction [Ebook]
Serie:Applied Logic Series,Volume :17
 		  2000 Ebook URL Exists Catalogue Record Posizione scaffale:Online resource: Springer.
2 Mathematical Problems from Applied Logic II: Logics for the XXIst Century Mathematical Problems from Applied Logic II: Logics for the XXIst Century [Ebook]
Serie:International Mathematical SeriesVolume :5
 		  2007 Ebook URL Exists Catalogue Record Posizione scaffale:Online Resource : Springer.
3 What is Negation? What is Negation? [Ebook]
Serie:Applied Logic Series,Volume :13
 		  1999 Ebook URL Exists Catalogue Record Posizione scaffale:Online resource: Springer.
4 Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems [Ebook]
Serie:Applied Logic Series,Volume :35
 		Carnielli, Walter 2008 Ebook URL Exists Catalogue Record Posizione scaffale:Online Resource: Springer.
5 Goal-Directed Proof Theory Goal-Directed Proof Theory [Ebook]
Serie:Applied Logic Series,Volume :21
 		Gabbay, Dov M. 2000 Ebook URL Exists Catalogue Record Posizione scaffale:Online resource: Springer.
6 Interpolation and definability: modal and intuitionistic logic Interpolation and definability: modal and intuitionistic logic [Ebook]
Serie:Oxford logic guidesVolume :46
 		Gabbay, Dov M. 2007 Ebook URL Exists Catalogue Record Posizione scaffale:Online Resource : Oxford Scholarship Online.
Search Result Page: .   1   .   . Pagina: 1 di1
SELEZIONARE IL TITOLO PER INFORMAZIONI SULLA DISPONIBILITA'

Quick Search