Back to Results
First PageMeta Content
Model theory / Proof theory / Metalogic / Logic in computer science / Computability theory / Presburger arithmetic / Quantifier elimination / Decidability / Jan Łukasiewicz / Mathematical logic / Logic / Mathematics


@TechReport{Stansifer:1884:PAIA, author="Ryan Stansifer", title= "Presburger’s Article on Integer Airthmetic: Remarks and Translation", number="TR84-639", institution="Cornell University, Computer Science Department",
Add to Reading List

Document Date: 2007-01-22 14:30:32


Open Document

File Size: 147,58 KB

Share Result on Facebook

City

Lw´ / Warsaw / Berlin / /

Company

Russell / /

Country

Germany / Poland / Japan / Jordan / Austria / United States / Soviet Union / /

Event

Diplomatic Relations / Employment Change / /

Facility

University of Lw´ow / Polytechnic Institute / University of Warsaw / /

IndustryTerm

formalistic logical systems / /

Organization

University of Warsaw / Polytechnic Institute in Warsaw / Computer Science Department / Cornell University / Royal Irish Academy in Dublin / Mathematicians of the Slavic Countries / Congress / International Congress / /

Person

Rabin / Jan Lukasiewicz / Storrs McCall / Kazimierz Kuratowski / Derek Oppen / Kazimierz Twardowski / Stanislaw Ulam / Adolf (Abraham) Fraenkel / Bronislaw Knaster / Stefan Mazurkiewicz / John von Neumann / Georg Cantor / Alfred Tarski / Benjamin Osgood Peirce / Stanislaw Saks / Samuel Dickstein / Presburger / Adolf Lindenbaum / J. Lukasiewicz / Martin Davis / A. Tarski / /

Position

mayor / translator / professor of mathematical logic / mathematician / adjunct professor / author / professor / chair / university lecturer / /

ProvinceOrState

Texas / California / /

PublishedMedium

Studia Mathematica / /

URL

http /

SocialTag