A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiA Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic
Adres internetowy
Tytuł czasopismaNOTRE DAME JOURNAL OF FORMAL LOGIC
Medium
Tom51
Zeszyt4
Rok wydania2010
Od strony457
Do strony473
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2010

Lista autorów
  
 1. Morten Heine Sorensen, Jednostka zewnetrzna [Współautor]
 2. Paweł Urzyczyn, Zakład Logiki Stosowanej [Współautor]