Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by George Tourlakis
A New Arithmetically Incomplete First- Order Extension of Gl All Theorems of Which Have Cut Free Proofs
Bulletin of the Section of Logic
Philosophy
Logic
Related publications
Algorithmic Structuring of Cut-Free Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
New Proofs of Some Theorems on Infinitely Differentiable Functions
Bulletin of the Australian Mathematical Society
Mathematics
Lindström Theorems for Fragments of First-Order Logic
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Some New First-Order All-Pass Realizations Using CCII
Active and Passive Electronic Components
Electronic Engineering
Optical
Electrical
Magnetic Materials
Electronic
New Proofs of the Theorems of Beltrami and Kasner on Linear Families
Bulletin of the American Mathematical Society
From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-Order Decision Procedures
IFIP International Federation for Information Processing
Which Codes Have Cycle-Free Tanner Graphs?
IEEE Transactions on Information Theory
Computer Science Applications
Information Systems
Library
Information Sciences
Proofs for Free
Journal of Functional Programming
Software
Simplified Proofs of “Some Tauberian Theorems” of Jakimovski
Pacific Journal of Mathematics
Mathematics
